home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| Corel 10 Texture (image/corel10Texture)
| ext
| Unsupported |
| 1%
| dexvert
| Croteam texture file (image/croteamTextureFile)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text, with CRLF line terminators
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| fmt/281 LaTeX (Subdocument)
| default
| |
| 100%
| detectItEasy
| Format: plain text[CRLF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 63 68 61 70 74 65 72 | 7b 41 4e 20 4f 56 45 52 |\chapter|{AN OVER|
|00000010| 56 49 45 57 20 4f 46 20 | 45 4c 41 4e 2d 31 7d 0d |VIEW OF |ELAN-1}.|
|00000020| 0a 0d 0a 45 6c 61 6e 2d | 31 20 69 73 20 61 20 73 |...Elan-|1 is a s|
|00000030| 75 62 6c 61 6e 67 75 61 | 67 65 20 6f 66 20 73 74 |ublangua|ge of st|
|00000040| 61 6e 64 61 72 64 20 45 | 6c 61 6e 2e 20 49 74 20 |andard E|lan. It |
|00000050| 63 6f 6d 70 72 69 73 65 | 73 20 66 75 6c 6c 0d 0a |comprise|s full..|
|00000060| 45 6c 61 6e 20 61 70 61 | 72 74 20 66 72 6f 6d 20 |Elan apa|rt from |
|00000070| 74 68 65 20 70 61 63 6b | 65 74 2d 6d 65 63 68 61 |the pack|et-mecha|
|00000080| 6e 69 73 6d 2e 20 49 74 | 20 73 74 72 69 76 65 73 |nism. It| strives|
|00000090| 20 74 6f 20 62 65 20 63 | 6f 6d 70 61 74 69 62 6c | to be c|ompatibl|
|000000a0| 65 0d 0a 61 73 20 6d 75 | 63 68 20 61 73 20 69 73 |e..as mu|ch as is|
|000000b0| 20 70 6f 73 73 69 62 6c | 65 20 77 69 74 68 20 74 | possibl|e with t|
|000000c0| 68 65 20 45 55 4d 45 4c | 20 69 6d 70 6c 65 6d 65 |he EUMEL| impleme|
|000000d0| 6e 74 61 74 69 6f 6e 20 | 6f 66 20 45 6c 61 6e 2c |ntation |of Elan,|
|000000e0| 0d 0a 69 6e 63 6f 72 70 | 6f 72 61 74 69 6e 67 20 |..incorp|orating |
|000000f0| 61 20 6e 75 6d 62 65 72 | 20 6f 66 20 6d 69 6e 6f |a number| of mino|
|00000100| 72 20 6c 61 6e 67 75 61 | 67 65 20 6d 6f 64 69 66 |r langua|ge modif|
|00000110| 69 63 61 74 69 6f 6e 73 | 20 74 68 61 74 20 68 61 |ications| that ha|
|00000120| 76 65 0d 0a 62 65 65 6e | 20 6d 75 74 75 61 6c 6c |ve..been| mutuall|
|00000130| 79 20 61 67 72 65 65 64 | 20 75 70 6f 6e 2e 20 54 |y agreed| upon. T|
|00000140| 68 65 20 45 55 4d 45 4c | 20 63 6f 6e 63 65 70 74 |he EUMEL| concept|
|00000150| 20 6f 66 20 44 41 54 41 | 53 50 41 43 45 20 69 73 | of DATA|SPACE is|
|00000160| 0d 0a 6e 6f 74 20 69 6d | 70 6c 65 6d 65 6e 74 65 |..not im|plemente|
|00000170| 64 2e 0d 0a 0d 0a 49 6e | 20 74 68 69 73 20 6f 76 |d.....In| this ov|
|00000180| 65 72 76 69 65 77 20 77 | 65 20 66 6f 6c 6c 6f 77 |erview w|e follow|
|00000190| 20 74 68 65 20 73 79 6e | 74 61 78 20 6f 66 20 74 | the syn|tax of t|
|000001a0| 68 65 20 6c 61 6e 67 75 | 61 67 65 2c 20 69 6e 74 |he langu|age, int|
|000001b0| 72 6f 64 75 63 69 6e 67 | 0d 0a 45 6c 61 6e 20 74 |roducing|..Elan t|
|000001c0| 65 72 6d 69 6e 6f 6c 6f | 67 79 20 66 6f 72 20 74 |erminolo|gy for t|
|000001d0| 68 65 20 6d 6f 73 74 20 | 69 6d 70 6f 72 74 61 6e |he most |importan|
|000001e0| 74 20 63 6f 6e 73 74 69 | 74 75 65 6e 74 73 20 6f |t consti|tuents o|
|000001f0| 66 20 61 20 70 72 6f 67 | 72 61 6d 0d 0a 61 6e 64 |f a prog|ram..and|
|00000200| 20 6d 61 6b 69 6e 67 20 | 73 6f 6d 65 20 72 65 6d | making |some rem|
|00000210| 61 72 6b 73 20 61 62 6f | 75 74 20 74 68 65 20 73 |arks abo|ut the s|
|00000220| 79 6e 74 61 78 20 6f 66 | 20 74 68 65 20 76 61 72 |yntax of| the var|
|00000230| 69 6f 75 73 20 63 6f 6e | 73 74 72 75 63 74 73 2e |ious con|structs.|
|00000240| 0d 0a 54 68 65 20 6d 6f | 72 65 20 6e 6f 74 69 63 |..The mo|re notic|
|00000250| 65 61 62 6c 65 20 64 69 | 66 66 65 72 65 6e 63 65 |eable di|fference|
|00000260| 73 20 77 69 74 68 20 73 | 74 61 6e 64 61 72 64 20 |s with s|tandard |
|00000270| 45 6c 61 6e 20 61 6e 64 | 20 45 55 4d 45 4c 20 61 |Elan and| EUMEL a|
|00000280| 72 65 0d 0a 69 6e 64 69 | 63 61 74 65 64 2e 0d 0a |re..indi|cated...|
|00000290| 0d 0a 54 68 69 73 20 63 | 68 61 70 74 65 72 20 69 |..This c|hapter i|
|000002a0| 73 20 6e 6f 74 20 61 6e | 20 45 6c 61 6e 20 63 6f |s not an| Elan co|
|000002b0| 75 72 73 65 20 61 6e 64 | 20 63 65 72 74 61 69 6e |urse and| certain|
|000002c0| 6c 79 20 6e 6f 74 20 61 | 20 63 6f 75 72 73 65 0d |ly not a| course.|
|000002d0| 0a 69 6e 20 70 72 6f 67 | 72 61 6d 6d 69 6e 67 21 |.in prog|ramming!|
|000002e0| 20 49 74 20 73 65 72 76 | 65 73 20 6d 65 72 65 6c | It serv|es merel|
|000002f0| 79 20 61 73 20 61 20 63 | 6f 6e 76 65 6e 69 65 6e |y as a c|onvenien|
|00000300| 74 20 6f 76 65 72 76 69 | 65 77 20 6f 66 0d 0a 74 |t overvi|ew of..t|
|00000310| 68 65 20 6c 61 6e 67 75 | 61 67 65 2e 0d 0a 49 6e |he langu|age...In|
|00000320| 20 74 68 69 73 20 63 68 | 61 70 74 65 72 20 74 68 | this ch|apter th|
|00000330| 65 20 6e 61 6d 65 73 20 | 6f 66 20 73 79 6e 74 61 |e names |of synta|
|00000340| 63 74 69 63 20 63 6f 6e | 73 74 72 75 63 74 73 20 |ctic con|structs |
|00000350| 77 69 6c 6c 20 62 65 20 | 77 72 69 74 74 65 6e 0d |will be |written.|
|00000360| 0a 69 6e 20 69 74 61 6c | 69 63 2e 0d 0a 0d 0a 5c |.in ital|ic.....\|
|00000370| 73 65 63 74 69 6f 6e 7b | 50 72 6f 67 72 61 6d 73 |section{|Programs|
|00000380| 7d 0d 0a 0d 0a 41 20 70 | 72 6f 67 72 61 6d 20 69 |}....A p|rogram i|
|00000390| 6e 20 74 68 65 20 73 75 | 62 73 65 74 20 45 6c 61 |n the su|bset Ela|
|000003a0| 6e 2d 31 20 69 73 20 61 | 6e 20 45 6c 61 6e 20 7b |n-1 is a|n Elan {|
|000003b0| 5c 65 6d 20 70 72 6f 67 | 72 61 6d 7d 20 63 6f 6e |\em prog|ram} con|
|000003c0| 73 69 73 74 69 6e 67 0d | 0a 6f 66 20 6f 6e 65 20 |sisting.|.of one |
|000003d0| 7b 5c 65 6d 20 6d 61 69 | 6e 2d 70 61 63 6b 65 74 |{\em mai|n-packet|
|000003e0| 7d 20 6f 6e 6c 79 2e 0d | 0a 0d 0a 5c 70 69 63 28 |} only..|...\pic(|
|000003f0| 33 31 35 2c 30 34 30 29 | 7b 5c 73 6d 61 6c 6c 0d |315,040)|{\small.|
|00000400| 0a 20 20 5c 70 75 74 28 | 30 30 30 2c 30 33 30 29 |. \put(|000,030)|
|00000410| 7b 5c 75 6e 64 65 72 6c | 69 6e 65 7b 5c 72 6d 20 |{\underl|ine{\rm |
|00000420| 70 72 6f 67 72 61 6d 7d | 7d 0d 0a 20 20 25 0d 0a |program}|}.. %..|
|00000430| 20 20 5c 70 75 74 28 30 | 30 30 2c 30 31 30 29 7b | \put(0|00,010){|
|00000440| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 33 30 |\vector(|1,0){030|
|00000450| 7d 5c 6e 74 62 6f 78 7b | 30 36 30 7d 7b 6d 61 69 |}\ntbox{|060}{mai|
|00000460| 6e 2d 70 61 63 6b 65 74 | 7d 0d 0a 20 20 20 20 20 |n-packet|}.. |
|00000470| 20 20 20 20 20 20 20 20 | 20 20 20 5c 76 65 63 74 | | \vect|
|00000480| 6f 72 28 31 2c 30 29 7b | 30 33 30 7d 7d 0d 0a 20 |or(1,0){|030}}.. |
|00000490| 20 25 0d 0a 7d 0d 0a 0d | 0a 5c 6e 6f 69 6e 64 65 | %..}...|.\noinde|
|000004a0| 6e 74 0d 0a 57 65 20 61 | 73 73 75 6d 65 20 74 68 |nt..We a|ssume th|
|000004b0| 65 20 72 65 61 64 65 72 | 20 74 6f 20 62 65 20 66 |e reader| to be f|
|000004c0| 61 6d 69 6c 69 61 72 20 | 77 69 74 68 20 74 68 65 |amiliar |with the|
|000004d0| 20 6e 6f 74 61 74 69 6f | 6e 20 6f 66 20 73 79 6e | notatio|n of syn|
|000004e0| 74 61 78 2d 64 69 61 67 | 72 61 6d 73 2e 0d 0a 57 |tax-diag|rams...W|
|000004f0| 65 20 75 73 65 20 74 68 | 6f 73 65 20 64 69 61 67 |e use th|ose diag|
|00000500| 72 61 6d 73 20 6e 6f 74 | 20 6f 6e 6c 79 20 66 6f |rams not| only fo|
|00000510| 72 20 64 65 73 63 72 69 | 62 69 6e 67 20 73 74 72 |r descri|bing str|
|00000520| 75 63 74 75 72 65 20 62 | 75 74 20 61 6c 73 6f 0d |ucture b|ut also.|
|00000530| 0a 66 6f 72 20 69 6e 74 | 72 6f 64 75 63 69 6e 67 |.for int|roducing|
|00000540| 20 75 73 65 66 75 6c 20 | 74 65 72 6d 69 6e 6f 6c | useful |terminol|
|00000550| 6f 67 79 2e 20 46 6f 72 | 20 64 69 64 61 63 74 69 |ogy. For| didacti|
|00000560| 63 20 72 65 61 73 6f 6e | 73 2c 20 74 68 65 72 65 |c reason|s, there|
|00000570| 0d 0a 77 69 6c 6c 20 62 | 65 20 61 20 6c 61 72 67 |..will b|e a larg|
|00000580| 65 20 6e 75 6d 62 65 72 | 20 6f 66 20 72 65 6c 61 |e number| of rela|
|00000590| 74 69 76 65 6c 79 20 73 | 69 6d 70 6c 65 20 73 79 |tively s|imple sy|
|000005a0| 6e 74 61 78 2d 64 69 61 | 67 72 61 6d 73 20 72 61 |ntax-dia|grams ra|
|000005b0| 74 68 65 72 0d 0a 74 68 | 61 6e 20 61 20 73 6d 61 |ther..th|an a sma|
|000005c0| 6c 6c 20 6e 75 6d 62 65 | 72 20 6f 66 20 63 6f 6d |ll numbe|r of com|
|000005d0| 70 6c 69 63 61 74 65 64 | 20 6f 6e 65 73 2e 0d 0a |plicated| ones...|
|000005e0| 0d 0a 54 68 65 20 73 74 | 72 75 63 74 75 72 65 20 |..The st|ructure |
|000005f0| 6f 66 20 74 68 65 20 7b | 5c 65 6d 20 6d 61 69 6e |of the {|\em main|
|00000600| 2d 70 61 63 6b 65 74 7d | 20 69 73 20 73 6f 6d 65 |-packet}| is some|
|00000610| 77 68 61 74 20 73 69 6d | 70 6c 65 72 20 74 68 61 |what sim|pler tha|
|00000620| 6e 20 69 74 0d 0a 69 73 | 20 64 65 66 69 6e 65 64 |n it..is| defined|
|00000630| 20 62 79 20 74 68 65 20 | 73 74 61 6e 64 61 72 64 | by the |standard|
|00000640| 2e 0d 0a 0d 0a 5c 70 69 | 63 28 33 31 35 2c 30 35 |.....\pi|c(315,05|
|00000650| 30 29 7b 5c 73 6d 61 6c | 6c 0d 0a 20 20 5c 70 75 |0){\smal|l.. \pu|
|00000660| 74 28 30 30 30 2c 30 34 | 30 29 7b 5c 75 6e 64 65 |t(000,04|0){\unde|
|00000670| 72 6c 69 6e 65 7b 5c 72 | 6d 20 6d 61 69 6e 2d 70 |rline{\r|m main-p|
|00000680| 61 63 6b 65 74 7d 7d 0d | 0a 20 20 25 0d 0a 20 20 |acket}}.|. %.. |
|00000690| 5c 70 75 74 28 30 30 30 | 2c 30 32 30 29 7b 5c 76 |\put(000|,020){\v|
|000006a0| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 33 30 7d 5c |ector(1,|0){030}\|
|000006b0| 6e 74 62 6f 78 7b 30 37 | 30 7d 7b 62 6f 74 74 6f |ntbox{07|0}{botto|
|000006c0| 6d 2d 75 70 2d 70 61 72 | 74 7d 0d 0a 20 20 20 20 |m-up-par|t}.. |
|000006d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 76 65 63 | | \vec|
|000006e0| 74 6f 72 28 31 2c 30 29 | 7b 30 33 30 7d 5c 6e 74 |tor(1,0)|{030}\nt|
|000006f0| 62 6f 78 7b 30 34 30 7d | 7b 72 6f 6f 74 7d 0d 0a |box{040}|{root}..|
|00000700| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000710| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 33 30 |\vector(|1,0){030|
|00000720| 7d 5c 6e 74 62 6f 78 7b | 30 37 30 7d 7b 74 6f 70 |}\ntbox{|070}{top|
|00000730| 2d 64 6f 77 6e 2d 70 61 | 72 74 7d 0d 0a 20 20 20 |-down-pa|rt}.. |
|00000740| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 76 65 | | \ve|
|00000750| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 7d 0d |ctor(1,0|){030}}.|
|00000760| 0a 20 20 25 0d 0a 20 20 | 5c 70 75 74 28 30 30 35 |. %.. |\put(005|
|00000770| 2c 30 31 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,010){\o|val(20,2|
|00000780| 30 29 5b 72 74 5d 7d 0d | 0a 20 20 5c 70 75 74 28 |0)[rt]}.|. \put(|
|00000790| 30 32 35 2c 30 31 30 29 | 7b 5c 6f 76 61 6c 28 32 |025,010)|{\oval(2|
|000007a0| 30 2c 32 30 29 5b 6c 62 | 5d 7d 0d 0a 20 20 5c 70 |0,20)[lb|]}.. \p|
|000007b0| 75 74 28 30 32 35 2c 30 | 30 30 29 7b 5c 6c 69 6e |ut(025,0|00){\lin|
|000007c0| 65 28 31 2c 30 29 7b 30 | 38 30 7d 7d 0d 0a 20 20 |e(1,0){0|80}}.. |
|000007d0| 5c 70 75 74 28 31 30 35 | 2c 30 31 30 29 7b 5c 6f |\put(105|,010){\o|
|000007e0| 76 61 6c 28 32 30 2c 32 | 30 29 5b 72 62 5d 7d 0d |val(20,2|0)[rb]}.|
|000007f0| 0a 20 20 5c 70 75 74 28 | 31 32 35 2c 30 31 30 29 |. \put(|125,010)|
|00000800| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 74 |{\oval(2|0,20)[lt|
|00000810| 5d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |]}.. %.|. \put(|
|00000820| 31 37 35 2c 30 31 30 29 | 7b 5c 6f 76 61 6c 28 32 |175,010)|{\oval(2|
|00000830| 30 2c 32 30 29 5b 72 74 | 5d 7d 0d 0a 20 20 5c 70 |0,20)[rt|]}.. \p|
|00000840| 75 74 28 31 39 35 2c 30 | 31 30 29 7b 5c 6f 76 61 |ut(195,0|10){\ova|
|00000850| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|00000860| 20 5c 70 75 74 28 31 39 | 35 2c 30 30 30 29 7b 5c | \put(19|5,000){\|
|00000870| 6c 69 6e 65 28 31 2c 30 | 29 7b 30 38 30 7d 7d 0d |line(1,0|){080}}.|
|00000880| 0a 20 20 5c 70 75 74 28 | 32 37 35 2c 30 31 30 29 |. \put(|275,010)|
|00000890| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 72 62 |{\oval(2|0,20)[rb|
|000008a0| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 39 35 2c 30 |]}.. \p|ut(295,0|
|000008b0| 31 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |10){\ova|l(20,20)|
|000008c0| 5b 6c 74 5d 7d 0d 0a 20 | 20 25 0d 0a 7d 0d 0a 0d |[lt]}.. | %..}...|
|000008d0| 0a 5c 6e 6f 69 6e 64 65 | 6e 74 0d 0a 54 68 65 20 |.\noinde|nt..The |
|000008e0| 7b 5c 65 6d 20 72 6f 6f | 74 7d 20 6f 66 20 74 68 |{\em roo|t} of th|
|000008f0| 65 20 7b 5c 65 6d 20 70 | 61 63 6b 65 74 7d 20 69 |e {\em p|acket} i|
|00000900| 73 20 65 69 74 68 65 72 | 20 28 61 73 20 69 6e 20 |s either| (as in |
|00000910| 73 74 61 6e 64 61 72 64 | 20 45 6c 61 6e 29 20 61 |standard| Elan) a|
|00000920| 0d 0a 7b 5c 65 6d 20 70 | 61 72 61 67 72 61 70 68 |..{\em p|aragraph|
|00000930| 7d 20 6f 72 20 28 61 73 | 20 69 6e 20 45 6c 61 6e |} or (as| in Elan|
|00000940| 2d 30 29 20 61 20 7b 5c | 65 6d 20 72 65 66 69 6e |-0) a {\|em refin|
|00000950| 65 6d 65 6e 74 7d 2e 0d | 0a 54 68 65 20 65 66 66 |ement}..|.The eff|
|00000960| 65 63 74 20 6f 66 20 74 | 68 65 20 65 78 65 63 75 |ect of t|he execu|
|00000970| 74 69 6f 6e 20 6f 66 0d | 0a 61 6e 20 45 6c 61 6e |tion of.|.an Elan|
|00000980| 2d 31 20 70 72 6f 67 72 | 61 6d 20 69 73 20 74 68 |-1 progr|am is th|
|00000990| 65 20 65 66 66 65 63 74 | 20 6f 66 20 74 68 65 20 |e effect| of the |
|000009a0| 65 78 65 63 75 74 69 6f | 6e 20 6f 66 20 69 74 73 |executio|n of its|
|000009b0| 20 7b 5c 65 6d 20 62 6f | 74 74 6f 6d 2d 75 70 2d | {\em bo|ttom-up-|
|000009c0| 70 61 72 74 7d 0d 0a 66 | 6f 6c 6c 6f 77 65 64 20 |part}..f|ollowed |
|000009d0| 62 79 20 74 68 65 20 65 | 78 65 63 75 74 69 6f 6e |by the e|xecution|
|000009e0| 20 6f 66 20 69 74 73 20 | 7b 5c 65 6d 20 72 6f 6f | of its |{\em roo|
|000009f0| 74 7d 2c 20 77 68 69 63 | 68 20 6d 61 79 20 69 6e |t}, whic|h may in|
|00000a00| 20 69 74 73 20 74 75 72 | 6e 0d 0a 69 6e 76 6f 6c | its tur|n..invol|
|00000a10| 76 65 20 74 68 65 20 65 | 78 65 63 75 74 69 6f 6e |ve the e|xecution|
|00000a20| 20 6f 66 20 73 6f 6d 65 | 20 7b 5c 65 6d 20 72 65 | of some| {\em re|
|00000a30| 66 69 6e 65 6d 65 6e 74 | 73 7d 20 69 6e 20 74 68 |finement|s} in th|
|00000a40| 65 20 7b 5c 65 6d 20 74 | 6f 70 2d 64 6f 77 6e 2d |e {\em t|op-down-|
|00000a50| 70 61 72 74 7d 2e 0d 0a | 0d 0a 5c 70 69 63 28 33 |part}...|..\pic(3|
|00000a60| 31 35 2c 30 36 30 29 7b | 5c 73 6d 61 6c 6c 0d 0a |15,060){|\small..|
|00000a70| 20 20 5c 70 75 74 28 30 | 30 30 2c 30 35 30 29 7b | \put(0|00,050){|
|00000a80| 5c 75 6e 64 65 72 6c 69 | 6e 65 7b 5c 72 6d 20 72 |\underli|ne{\rm r|
|00000a90| 6f 6f 74 7d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |oot}}.. | %.. \p|
|00000aa0| 75 74 28 30 30 30 2c 30 | 33 30 29 7b 5c 76 65 63 |ut(000,0|30){\vec|
|00000ab0| 74 6f 72 28 31 2c 30 29 | 7b 30 33 30 7d 5c 6e 74 |tor(1,0)|{030}\nt|
|00000ac0| 62 6f 78 7b 30 36 30 7d | 7b 72 65 66 69 6e 65 6d |box{060}|{refinem|
|00000ad0| 65 6e 74 7d 0d 0a 20 20 | 20 20 20 20 20 20 20 20 |ent}.. | |
|00000ae0| 20 20 20 20 20 20 5c 76 | 65 63 74 6f 72 28 31 2c | \v|ector(1,|
|00000af0| 30 29 7b 30 33 30 7d 7d | 0d 0a 20 20 25 0d 0a 20 |0){030}}|.. %.. |
|00000b00| 20 5c 70 75 74 28 30 30 | 35 2c 30 32 30 29 7b 5c | \put(00|5,020){\|
|00000b10| 6f 76 61 6c 28 32 30 2c | 32 30 29 5b 72 74 5d 7d |oval(20,|20)[rt]}|
|00000b20| 0d 0a 20 20 5c 70 75 74 | 28 30 32 35 2c 30 32 30 |.. \put|(025,020|
|00000b30| 29 7b 5c 6f 76 61 6c 28 | 32 30 2c 32 30 29 5b 6c |){\oval(|20,20)[l|
|00000b40| 62 5d 7d 0d 0a 20 20 5c | 70 75 74 28 30 32 35 2c |b]}.. \|put(025,|
|00000b50| 30 31 30 29 7b 5c 76 65 | 63 74 6f 72 28 31 2c 30 |010){\ve|ctor(1,0|
|00000b60| 29 7b 30 30 35 7d 5c 6e | 74 62 6f 78 7b 30 36 30 |){005}\n|tbox{060|
|00000b70| 7d 7b 70 61 72 61 67 72 | 61 70 68 7d 0d 0a 20 20 |}{paragr|aph}.. |
|00000b80| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 6c | | \l|
|00000b90| 69 6e 65 28 31 2c 30 29 | 7b 30 30 35 7d 7d 0d 0a |ine(1,0)|{005}}..|
|00000ba0| 20 20 5c 70 75 74 28 30 | 39 35 2c 30 32 30 29 7b | \put(0|95,020){|
|00000bb0| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 62 5d |\oval(20|,20)[rb]|
|00000bc0| 7d 0d 0a 20 20 5c 70 75 | 74 28 31 31 35 2c 30 32 |}.. \pu|t(115,02|
|00000bd0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00000be0| 6c 74 5d 7d 0d 0a 20 20 | 25 0d 0a 7d 0d 0a 0d 0a |lt]}.. |%..}....|
|00000bf0| 5c 6e 6f 69 6e 64 65 6e | 74 0d 0a 49 66 20 74 68 |\noinden|t..If th|
|00000c00| 65 20 7b 5c 65 6d 20 72 | 6f 6f 74 7d 20 6f 66 20 |e {\em r|oot} of |
|00000c10| 74 68 65 20 70 72 6f 67 | 72 61 6d 20 69 73 20 61 |the prog|ram is a|
|00000c20| 20 7b 5c 65 6d 20 70 61 | 72 61 67 72 61 70 68 7d | {\em pa|ragraph}|
|00000c30| 2c 20 69 74 20 69 73 20 | 74 72 65 61 74 65 64 20 |, it is |treated |
|00000c40| 62 79 20 74 68 65 0d 0a | 45 6c 61 6e 20 50 72 6f |by the..|Elan Pro|
|00000c50| 67 72 61 6d 6d 69 6e 67 | 20 45 6e 76 69 72 6f 6e |gramming| Environ|
|00000c60| 6d 65 6e 74 20 61 73 20 | 61 6e 20 75 6e 6e 61 6d |ment as |an unnam|
|00000c70| 65 64 20 7b 5c 65 6d 20 | 72 65 66 69 6e 65 6d 65 |ed {\em |refineme|
|00000c80| 6e 74 7d 2c 20 77 68 69 | 63 68 0d 0a 6f 62 74 61 |nt}, whi|ch..obta|
|00000c90| 69 6e 73 20 74 68 65 20 | 6e 61 6d 65 20 7b 5c 74 |ins the |name {\t|
|00000ca0| 74 20 70 72 6f 67 72 61 | 6d 7d 2e 0d 0a 0d 0a 5c |t progra|m}.....\|
|00000cb0| 70 69 63 28 33 31 35 2c | 31 31 30 29 7b 5c 73 6d |pic(315,|110){\sm|
|00000cc0| 61 6c 6c 0d 0a 20 20 5c | 70 75 74 28 30 30 30 2c |all.. \|put(000,|
|00000cd0| 31 30 30 29 7b 5c 75 6e | 64 65 72 6c 69 6e 65 7b |100){\un|derline{|
|00000ce0| 5c 72 6d 20 62 6f 74 74 | 6f 6d 2d 75 70 2d 70 61 |\rm bott|om-up-pa|
|00000cf0| 72 74 7d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |rt}}.. |%.. \pu|
|00000d00| 74 28 30 30 30 2c 30 38 | 30 29 7b 5c 76 65 63 74 |t(000,08|0){\vect|
|00000d10| 6f 72 28 31 2c 30 29 7b | 30 36 30 7d 5c 6e 74 62 |or(1,0){|060}\ntb|
|00000d20| 6f 78 7b 31 30 30 7d 7b | 70 72 6f 63 65 64 75 72 |ox{100}{|procedur|
|00000d30| 65 2d 64 65 63 6c 61 72 | 61 74 69 6f 6e 7d 0d 0a |e-declar|ation}..|
|00000d40| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000d50| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 33 30 |\vector(|1,0){030|
|00000d60| 7d 5c 74 62 6f 78 7b 30 | 31 30 7d 7b 3b 7d 0d 0a |}\tbox{0|10}{;}..|
|00000d70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000d80| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 33 30 |\vector(|1,0){030|
|00000d90| 7d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |}}.. %.|. \put(|
|00000da0| 30 32 35 2c 30 37 30 29 | 7b 5c 6f 76 61 6c 28 32 |025,070)|{\oval(2|
|00000db0| 30 2c 32 30 29 5b 6c 74 | 5d 7d 0d 0a 20 20 5c 70 |0,20)[lt|]}.. \p|
|00000dc0| 75 74 28 30 31 35 2c 30 | 37 30 29 7b 5c 6c 69 6e |ut(015,0|70){\lin|
|00000dd0| 65 28 30 2c 2d 31 29 7b | 36 30 7d 7d 0d 0a 20 20 |e(0,-1){|60}}.. |
|00000de0| 5c 70 75 74 28 30 32 35 | 2c 30 31 30 29 7b 5c 6f |\put(025|,010){\o|
|00000df0| 76 61 6c 28 32 30 2c 32 | 30 29 5b 6c 62 5d 7d 0d |val(20,2|0)[lb]}.|
|00000e00| 0a 20 20 5c 70 75 74 28 | 30 32 35 2c 30 30 30 29 |. \put(|025,000)|
|00000e10| 7b 5c 6c 69 6e 65 28 31 | 2c 30 29 7b 31 38 30 7d |{\line(1|,0){180}|
|00000e20| 7d 0d 0a 20 20 5c 70 75 | 74 28 32 30 35 2c 30 31 |}.. \pu|t(205,01|
|00000e30| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00000e40| 72 62 5d 7d 0d 0a 20 20 | 5c 70 75 74 28 32 31 35 |rb]}.. |\put(215|
|00000e50| 2c 30 31 30 29 7b 5c 6c | 69 6e 65 28 30 2c 31 29 |,010){\l|ine(0,1)|
|00000e60| 7b 36 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 32 30 |{60}}.. | \put(20|
|00000e70| 35 2c 30 37 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,070){\|oval(20,|
|00000e80| 32 30 29 5b 72 74 5d 7d | 0d 0a 20 20 25 0d 0a 20 |20)[rt]}|.. %.. |
|00000e90| 20 5c 70 75 74 28 30 33 | 35 2c 30 37 30 29 7b 5c | \put(03|5,070){\|
|00000ea0| 6f 76 61 6c 28 32 30 2c | 32 30 29 5b 72 74 5d 7d |oval(20,|20)[rt]}|
|00000eb0| 0d 0a 20 20 5c 70 75 74 | 28 30 34 35 2c 30 37 30 |.. \put|(045,070|
|00000ec0| 29 7b 5c 6c 69 6e 65 28 | 30 2c 2d 31 29 7b 34 30 |){\line(|0,-1){40|
|00000ed0| 7d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |}}.. %.|. \put(|
|00000ee0| 31 38 35 2c 30 37 30 29 | 7b 5c 6f 76 61 6c 28 32 |185,070)|{\oval(2|
|00000ef0| 30 2c 32 30 29 5b 6c 74 | 5d 7d 0d 0a 20 20 5c 70 |0,20)[lt|]}.. \p|
|00000f00| 75 74 28 31 37 35 2c 30 | 37 30 29 7b 5c 6c 69 6e |ut(175,0|70){\lin|
|00000f10| 65 28 30 2c 2d 31 29 7b | 34 30 7d 7d 0d 0a 20 20 |e(0,-1){|40}}.. |
|00000f20| 25 0d 0a 20 20 5c 70 75 | 74 28 30 35 35 2c 30 37 |%.. \pu|t(055,07|
|00000f30| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00000f40| 6c 62 5d 7d 0d 0a 20 20 | 5c 70 75 74 28 30 35 35 |lb]}.. |\put(055|
|00000f50| 2c 30 36 30 29 7b 5c 76 | 65 63 74 6f 72 28 31 2c |,060){\v|ector(1,|
|00000f60| 30 29 7b 30 30 35 7d 5c | 6e 74 62 6f 78 7b 31 30 |0){005}\|ntbox{10|
|00000f70| 30 7d 7b 6f 70 65 72 61 | 74 6f 72 2d 64 65 63 6c |0}{opera|tor-decl|
|00000f80| 61 72 61 74 69 6f 6e 7d | 0d 0a 20 20 20 20 20 20 |aration}|.. |
|00000f90| 20 20 20 20 20 20 20 20 | 20 20 5c 6c 69 6e 65 28 | | \line(|
|00000fa0| 31 2c 30 29 7b 30 30 35 | 7d 7d 0d 0a 20 20 5c 70 |1,0){005|}}.. \p|
|00000fb0| 75 74 28 31 36 35 2c 30 | 37 30 29 7b 5c 6f 76 61 |ut(165,0|70){\ova|
|00000fc0| 6c 28 32 30 2c 32 30 29 | 5b 72 62 5d 7d 0d 0a 20 |l(20,20)|[rb]}.. |
|00000fd0| 20 25 0d 0a 20 20 5c 70 | 75 74 28 30 35 35 2c 30 | %.. \p|ut(055,0|
|00000fe0| 35 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |50){\ova|l(20,20)|
|00000ff0| 5b 6c 62 5d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 35 |[lb]}.. | \put(05|
|00001000| 35 2c 30 34 30 29 7b 5c | 76 65 63 74 6f 72 28 31 |5,040){\|vector(1|
|00001010| 2c 30 29 7b 30 30 35 7d | 5c 6e 74 62 6f 78 7b 31 |,0){005}|\ntbox{1|
|00001020| 30 30 7d 7b 74 79 70 65 | 2d 64 65 63 6c 61 72 61 |00}{type|-declara|
|00001030| 74 69 6f 6e 7d 0d 0a 20 | 20 20 20 20 20 20 20 20 |tion}.. | |
|00001040| 20 20 20 20 20 20 20 5c | 6c 69 6e 65 28 31 2c 30 | \|line(1,0|
|00001050| 29 7b 30 30 35 7d 7d 0d | 0a 20 20 5c 70 75 74 28 |){005}}.|. \put(|
|00001060| 31 36 35 2c 30 35 30 29 | 7b 5c 6f 76 61 6c 28 32 |165,050)|{\oval(2|
|00001070| 30 2c 32 30 29 5b 72 62 | 5d 7d 0d 0a 20 20 25 0d |0,20)[rb|]}.. %.|
|00001080| 0a 20 20 5c 70 75 74 28 | 30 35 35 2c 30 33 30 29 |. \put(|055,030)|
|00001090| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 62 |{\oval(2|0,20)[lb|
|000010a0| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 30 35 35 2c 30 |]}.. \p|ut(055,0|
|000010b0| 32 30 29 7b 5c 76 65 63 | 74 6f 72 28 31 2c 30 29 |20){\vec|tor(1,0)|
|000010c0| 7b 30 30 35 7d 5c 6e 74 | 62 6f 78 7b 31 30 30 7d |{005}\nt|box{100}|
|000010d0| 7b 73 79 6e 6f 6e 79 6d | 2d 64 65 63 6c 61 72 61 |{synonym|-declara|
|000010e0| 74 69 6f 6e 7d 0d 0a 20 | 20 20 20 20 20 20 20 20 |tion}.. | |
|000010f0| 20 20 20 20 20 20 20 5c | 6c 69 6e 65 28 31 2c 30 | \|line(1,0|
|00001100| 29 7b 30 30 35 7d 7d 0d | 0a 20 20 5c 70 75 74 28 |){005}}.|. \put(|
|00001110| 31 36 35 2c 30 33 30 29 | 7b 5c 6f 76 61 6c 28 32 |165,030)|{\oval(2|
|00001120| 30 2c 32 30 29 5b 72 62 | 5d 7d 0d 0a 20 20 25 0d |0,20)[rb|]}.. %.|
|00001130| 0a 7d 0d 0a 0d 0a 5c 6e | 6f 69 6e 64 65 6e 74 0d |.}....\n|oindent.|
|00001140| 0a 54 68 65 20 7b 5c 65 | 6d 20 62 6f 74 74 6f 6d |.The {\e|m bottom|
|00001150| 2d 75 70 2d 70 61 72 74 | 7d 20 63 6f 6d 70 72 69 |-up-part|} compri|
|00001160| 73 65 73 20 74 68 6f 73 | 65 20 7b 5c 65 6d 20 64 |ses thos|e {\em d|
|00001170| 65 63 6c 61 72 61 74 69 | 6f 6e 73 7d 20 77 68 69 |eclarati|ons} whi|
|00001180| 63 68 20 70 72 65 63 65 | 64 65 0d 0a 74 68 65 20 |ch prece|de..the |
|00001190| 7b 5c 65 6d 20 72 6f 6f | 74 7d 20 61 6e 64 20 63 |{\em roo|t} and c|
|000011a0| 61 6e 20 62 65 20 63 6f | 6e 73 69 64 65 72 65 64 |an be co|nsidered|
|000011b0| 20 61 73 20 61 20 6c 61 | 6e 67 75 61 67 65 20 66 | as a la|nguage f|
|000011c0| 75 6e 64 61 6d 65 6e 74 | 20 6f 6e 20 77 68 69 63 |undament| on whic|
|000011d0| 68 0d 0a 74 68 65 20 72 | 65 73 74 20 6f 66 20 74 |h..the r|est of t|
|000011e0| 68 65 20 70 72 6f 67 72 | 61 6d 20 69 73 20 74 6f |he progr|am is to|
|000011f0| 20 62 65 20 62 75 69 6c | 74 2e 0d 0a 0d 0a 5c 70 | be buil|t.....\p|
|00001200| 69 63 28 33 31 35 2c 30 | 35 30 29 7b 5c 73 6d 61 |ic(315,0|50){\sma|
|00001210| 6c 6c 0d 0a 20 20 5c 70 | 75 74 28 30 30 30 2c 30 |ll.. \p|ut(000,0|
|00001220| 34 30 29 7b 5c 75 6e 64 | 65 72 6c 69 6e 65 7b 5c |40){\und|erline{\|
|00001230| 72 6d 20 74 6f 70 2d 64 | 6f 77 6e 2d 70 61 72 74 |rm top-d|own-part|
|00001240| 7d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |}}.. %.|. \put(|
|00001250| 30 30 30 2c 30 32 30 29 | 7b 5c 76 65 63 74 6f 72 |000,020)|{\vector|
|00001260| 28 31 2c 30 29 7b 30 33 | 30 7d 5c 74 62 6f 78 7b |(1,0){03|0}\tbox{|
|00001270| 30 31 30 7d 7b 2e 7d 0d | 0a 20 20 20 20 20 20 20 |010}{.}.|. |
|00001280| 20 20 20 20 20 20 20 20 | 20 5c 76 65 63 74 6f 72 | | \vector|
|00001290| 28 31 2c 30 29 7b 30 33 | 30 7d 5c 6e 74 62 6f 78 |(1,0){03|0}\ntbox|
|000012a0| 7b 30 36 30 7d 7b 72 65 | 66 69 6e 65 6d 65 6e 74 |{060}{re|finement|
|000012b0| 7d 0d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.. | |
|000012c0| 20 20 20 5c 76 65 63 74 | 6f 72 28 31 2c 30 29 7b | \vect|or(1,0){|
|000012d0| 30 33 30 7d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |030}}.. | %.. \p|
|000012e0| 75 74 28 30 32 35 2c 30 | 31 30 29 7b 5c 6f 76 61 |ut(025,0|10){\ova|
|000012f0| 6c 28 32 30 2c 32 30 29 | 5b 6c 5d 7d 0d 0a 20 20 |l(20,20)|[l]}.. |
|00001300| 5c 70 75 74 28 30 32 35 | 2c 30 30 30 29 7b 5c 6c |\put(025|,000){\l|
|00001310| 69 6e 65 28 31 2c 30 29 | 7b 31 31 30 7d 7d 0d 0a |ine(1,0)|{110}}..|
|00001320| 20 20 5c 70 75 74 28 31 | 33 35 2c 30 31 30 29 7b | \put(1|35,010){|
|00001330| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 5d 7d |\oval(20|,20)[r]}|
|00001340| 0d 0a 20 20 25 0d 0a 7d | 0d 0a 0d 0a 5c 6e 6f 69 |.. %..}|....\noi|
|00001350| 6e 64 65 6e 74 0d 0a 54 | 68 65 20 7b 5c 65 6d 20 |ndent..T|he {\em |
|00001360| 74 6f 70 2d 64 6f 77 6e | 2d 70 61 72 74 7d 20 63 |top-down|-part} c|
|00001370| 6f 6d 70 72 69 73 65 73 | 20 74 68 65 20 7b 5c 65 |omprises| the {\e|
|00001380| 6d 20 72 65 66 69 6e 65 | 6d 65 6e 74 73 7d 20 74 |m refine|ments} t|
|00001390| 68 61 74 20 63 61 6e 20 | 62 65 20 69 6e 76 6f 6b |hat can |be invok|
|000013a0| 65 64 0d 0a 66 72 6f 6d | 20 74 68 65 20 7b 5c 65 |ed..from| the {\e|
|000013b0| 6d 20 72 6f 6f 74 7d 2e | 20 54 68 65 20 7b 5c 65 |m root}.| The {\e|
|000013c0| 6d 20 72 65 66 69 6e 65 | 6d 65 6e 74 73 7d 20 69 |m refine|ments} i|
|000013d0| 6e 20 74 68 65 20 7b 5c | 65 6d 20 74 6f 70 2d 64 |n the {\|em top-d|
|000013e0| 6f 77 6e 2d 70 61 72 74 | 7d 20 63 61 6e 20 6e 6f |own-part|} can no|
|000013f0| 74 20 62 65 0d 0a 69 6e | 76 6f 6b 65 64 20 66 72 |t be..in|voked fr|
|00001400| 6f 6d 20 61 20 7b 5c 65 | 6d 20 64 65 63 6c 61 72 |om a {\e|m declar|
|00001410| 61 74 69 6f 6e 7d 20 69 | 6e 20 74 68 65 20 7b 5c |ation} i|n the {\|
|00001420| 65 6d 20 62 6f 74 74 6f | 6d 2d 75 70 2d 70 61 72 |em botto|m-up-par|
|00001430| 74 7d 2e 0d 0a 0d 0a 54 | 68 65 20 45 6c 61 6e 20 |t}.....T|he Elan |
|00001440| 50 72 6f 67 72 61 6d 6d | 69 6e 67 20 45 6e 76 69 |Programm|ing Envi|
|00001450| 72 6f 6e 6d 65 6e 74 20 | 61 63 63 65 70 74 73 20 |ronment |accepts |
|00001460| 61 73 20 69 6e 70 75 74 | 20 61 6e 79 20 73 65 71 |as input| any seq|
|00001470| 75 65 6e 63 65 0d 0a 6f | 66 20 7b 5c 65 6d 20 64 |uence..o|f {\em d|
|00001480| 65 63 6c 61 72 61 74 69 | 6f 6e 73 7d 2c 20 6f 74 |eclarati|ons}, ot|
|00001490| 68 65 72 20 7b 5c 65 6d | 20 75 6e 69 74 73 7d 20 |her {\em| units} |
|000014a0| 61 6e 64 20 7b 5c 65 6d | 20 72 65 66 69 6e 65 6d |and {\em| refinem|
|000014b0| 65 6e 74 73 7d 20 61 6e | 64 20 64 69 73 74 72 69 |ents} an|d distri|
|000014c0| 62 75 74 65 73 0d 0a 74 | 68 6f 73 65 20 65 6c 65 |butes..t|hose ele|
|000014d0| 6d 65 6e 74 73 20 6f 76 | 65 72 20 74 68 65 20 74 |ments ov|er the t|
|000014e0| 68 72 65 65 20 63 6f 6d | 70 6f 6e 65 6e 74 73 20 |hree com|ponents |
|000014f0| 6f 66 20 74 68 65 20 7b | 5c 65 6d 20 6d 61 69 6e |of the {|\em main|
|00001500| 2d 70 61 63 6b 65 74 7d | 20 69 6e 0d 0a 74 68 65 |-packet}| in..the|
|00001510| 69 72 20 6f 72 64 65 72 | 20 6f 66 20 61 72 72 69 |ir order| of arri|
|00001520| 76 61 6c 2e 20 54 68 65 | 72 65 66 6f 72 65 20 74 |val. The|refore t|
|00001530| 68 65 20 6c 61 79 6f 75 | 74 20 61 6e 64 20 6f 72 |he layou|t and or|
|00001540| 64 65 72 20 6f 66 20 69 | 6e 70 75 74 0d 0a 74 6f |der of i|nput..to|
|00001550| 20 74 68 65 20 45 6c 61 | 6e 20 50 72 6f 67 72 61 | the Ela|n Progra|
|00001560| 6d 6d 69 6e 67 20 45 6e | 76 69 72 6f 6e 6d 65 6e |mming En|vironmen|
|00001570| 74 20 63 61 6e 20 62 65 | 20 69 6e 20 61 20 76 65 |t can be| in a ve|
|00001580| 72 79 20 72 65 6c 61 78 | 65 64 0d 0a 73 79 6e 74 |ry relax|ed..synt|
|00001590| 61 63 74 69 63 20 73 74 | 79 6c 65 2e 20 49 6e 20 |actic st|yle. In |
|000015a0| 6f 75 74 70 75 74 74 69 | 6e 67 20 74 68 65 20 70 |outputti|ng the p|
|000015b0| 72 6f 67 72 61 6d 20 74 | 68 65 20 45 6c 61 6e 20 |rogram t|he Elan |
|000015c0| 50 72 6f 67 72 61 6d 6d | 69 6e 67 0d 0a 45 6e 76 |Programm|ing..Env|
|000015d0| 69 72 6f 6e 6d 65 6e 74 | 20 69 6d 70 61 72 74 73 |ironment| imparts|
|000015e0| 20 69 74 73 20 6f 77 6e | 20 73 74 72 69 63 74 20 | its own| strict |
|000015f0| 6c 61 79 6f 75 74 20 63 | 6f 6e 76 65 6e 74 69 6f |layout c|onventio|
|00001600| 6e 73 20 61 6e 64 20 73 | 74 72 75 63 74 75 72 65 |ns and s|tructure|
|00001610| 0d 0a 74 6f 20 74 68 65 | 20 70 72 6f 67 72 61 6d |..to the| program|
|00001620| 2e 0d 0a 0d 0a 5c 70 69 | 63 28 33 31 35 2c 30 34 |.....\pi|c(315,04|
|00001630| 30 29 7b 5c 73 6d 61 6c | 6c 0d 0a 20 20 5c 70 75 |0){\smal|l.. \pu|
|00001640| 74 28 30 30 30 2c 30 33 | 30 29 7b 5c 75 6e 64 65 |t(000,03|0){\unde|
|00001650| 72 6c 69 6e 65 7b 5c 72 | 6d 20 72 65 66 69 6e 65 |rline{\r|m refine|
|00001660| 6d 65 6e 74 7d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |ment}}..| %.. \|
|00001670| 70 75 74 28 30 30 30 2c | 30 31 30 29 7b 5c 76 65 |put(000,|010){\ve|
|00001680| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 5c 6e |ctor(1,0|){030}\n|
|00001690| 74 62 6f 78 7b 30 34 30 | 7d 7b 6e 61 6d 65 7d 0d |tbox{040|}{name}.|
|000016a0| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|000016b0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|000016c0| 30 7d 5c 74 62 6f 78 7b | 30 31 30 7d 7b 3a 7d 0d |0}\tbox{|010}{:}.|
|000016d0| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|000016e0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|000016f0| 30 7d 5c 6e 74 62 6f 78 | 7b 30 36 30 7d 7b 70 61 |0}\ntbox|{060}{pa|
|00001700| 72 61 67 72 61 70 68 7d | 0d 0a 20 20 20 20 20 20 |ragraph}|.. |
|00001710| 20 20 20 20 20 20 20 20 | 20 20 5c 76 65 63 74 6f | | \vecto|
|00001720| 72 28 31 2c 30 29 7b 30 | 33 30 7d 7d 0d 0a 20 20 |r(1,0){0|30}}.. |
|00001730| 25 0d 0a 7d 0d 0a 0d 0a | 5c 6e 6f 69 6e 64 65 6e |%..}....|\noinden|
|00001740| 74 0d 0a 41 20 7b 5c 65 | 6d 20 72 65 66 69 6e 65 |t..A {\e|m refine|
|00001750| 6d 65 6e 74 7d 20 67 69 | 76 65 73 20 61 20 7b 5c |ment} gi|ves a {\|
|00001760| 65 6d 20 6e 61 6d 65 7d | 20 74 6f 20 61 20 7b 5c |em name}| to a {\|
|00001770| 65 6d 20 70 61 72 61 67 | 72 61 70 68 7d 2e 0d 0a |em parag|raph}...|
|00001780| 49 74 20 69 73 20 69 6e | 76 6f 6b 65 64 20 62 79 |It is in|voked by|
|00001790| 20 65 78 65 63 75 74 69 | 6e 67 20 69 74 73 20 7b | executi|ng its {|
|000017a0| 5c 65 6d 20 6e 61 6d 65 | 7d 2e 0d 0a 49 74 20 69 |\em name|}...It i|
|000017b0| 73 20 6e 6f 74 20 61 20 | 7b 5c 65 6d 20 64 65 63 |s not a |{\em dec|
|000017c0| 6c 61 72 61 74 69 6f 6e | 7d 20 69 6e 20 74 68 65 |laration|} in the|
|000017d0| 20 70 72 6f 70 65 72 20 | 73 65 6e 73 65 2c 20 73 | proper |sense, s|
|000017e0| 69 6e 63 65 0d 0a 69 74 | 20 6d 61 79 20 62 65 20 |ince..it| may be |
|000017f0| 69 6e 76 6f 6b 65 64 20 | 28 65 2e 67 2e 20 66 72 |invoked |(e.g. fr|
|00001800| 6f 6d 20 74 68 65 20 7b | 5c 65 6d 20 72 6f 6f 74 |om the {|\em root|
|00001810| 7d 29 20 62 65 66 6f 72 | 65 20 69 74 20 68 61 73 |}) befor|e it has|
|00001820| 20 62 65 65 6e 20 65 78 | 65 63 75 74 65 64 2e 0d | been ex|ecuted..|
|00001830| 0a 54 68 65 20 6d 65 61 | 6e 69 6e 67 20 28 65 66 |.The mea|ning (ef|
|00001840| 66 65 63 74 20 61 6e 64 | 20 76 61 6c 75 65 29 20 |fect and| value) |
|00001850| 6f 66 20 61 20 7b 5c 65 | 6d 20 72 65 66 69 6e 65 |of a {\e|m refine|
|00001860| 6d 65 6e 74 7d 20 69 6e | 76 6f 63 61 74 69 6f 6e |ment} in|vocation|
|00001870| 20 69 73 0d 0a 74 68 65 | 20 73 61 6d 65 20 61 73 | is..the| same as|
|00001880| 20 74 68 61 74 20 6f 66 | 20 69 74 73 20 7b 5c 65 | that of| its {\e|
|00001890| 6d 20 70 61 72 61 67 72 | 61 70 68 7d 2e 0d 0a 0d |m paragr|aph}....|
|000018a0| 0a 5c 70 69 63 28 33 31 | 35 2c 30 37 30 29 7b 5c |.\pic(31|5,070){\|
|000018b0| 73 6d 61 6c 6c 0d 0a 20 | 20 5c 70 75 74 28 30 30 |small.. | \put(00|
|000018c0| 30 2c 30 36 30 29 7b 5c | 75 6e 64 65 72 6c 69 6e |0,060){\|underlin|
|000018d0| 65 7b 5c 72 6d 20 70 61 | 72 61 67 72 61 70 68 7d |e{\rm pa|ragraph}|
|000018e0| 7d 0d 0a 20 20 25 0d 0a | 20 20 5c 70 75 74 28 30 |}.. %..| \put(0|
|000018f0| 30 30 2c 30 34 30 29 7b | 5c 76 65 63 74 6f 72 28 |00,040){|\vector(|
|00001900| 31 2c 30 29 7b 30 36 30 | 7d 5c 6e 74 62 6f 78 7b |1,0){060|}\ntbox{|
|00001910| 30 34 30 7d 7b 75 6e 69 | 74 7d 0d 0a 20 20 20 20 |040}{uni|t}.. |
|00001920| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 76 65 63 | | \vec|
|00001930| 74 6f 72 28 31 2c 30 29 | 7b 30 36 30 7d 7d 0d 0a |tor(1,0)|{060}}..|
|00001940| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 31 30 35 2c | %.. \|put(105,|
|00001950| 30 33 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |030){\ov|al(20,20|
|00001960| 29 5b 72 5d 7d 0d 0a 20 | 20 5c 70 75 74 28 31 30 |)[r]}.. | \put(10|
|00001970| 35 2c 30 32 30 29 7b 5c | 76 65 63 74 6f 72 28 2d |5,020){\|vector(-|
|00001980| 31 2c 30 29 7b 30 32 30 | 7d 7d 0d 0a 20 20 5c 70 |1,0){020|}}.. \p|
|00001990| 75 74 28 30 35 35 2c 30 | 32 30 29 7b 5c 6c 69 6e |ut(055,0|20){\lin|
|000019a0| 65 28 31 2c 30 29 7b 30 | 32 30 7d 5c 74 62 6f 78 |e(1,0){0|20}\tbox|
|000019b0| 7b 30 31 30 7d 7b 3b 7d | 7d 0d 0a 20 20 5c 70 75 |{010}{;}|}.. \pu|
|000019c0| 74 28 30 35 35 2c 30 33 | 30 29 7b 5c 6f 76 61 6c |t(055,03|0){\oval|
|000019d0| 28 32 30 2c 32 30 29 5b | 6c 5d 7d 0d 0a 20 20 25 |(20,20)[|l]}.. %|
|000019e0| 0d 0a 20 20 5c 70 75 74 | 28 30 30 35 2c 30 33 30 |.. \put|(005,030|
|000019f0| 29 7b 5c 6f 76 61 6c 28 | 32 30 2c 32 30 29 5b 72 |){\oval(|20,20)[r|
|00001a00| 74 5d 7d 0d 0a 20 20 5c | 70 75 74 28 30 31 35 2c |t]}.. \|put(015,|
|00001a10| 30 33 30 29 7b 5c 6c 69 | 6e 65 28 30 2c 2d 31 29 |030){\li|ne(0,-1)|
|00001a20| 7b 32 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 32 |{20}}.. | \put(02|
|00001a30| 35 2c 30 31 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,010){\|oval(20,|
|00001a40| 32 30 29 5b 6c 62 5d 7d | 0d 0a 20 20 5c 70 75 74 |20)[lb]}|.. \put|
|00001a50| 28 30 32 35 2c 30 30 30 | 29 7b 5c 6c 69 6e 65 28 |(025,000|){\line(|
|00001a60| 31 2c 30 29 7b 31 31 30 | 7d 7d 0d 0a 20 20 5c 70 |1,0){110|}}.. \p|
|00001a70| 75 74 28 31 33 35 2c 30 | 31 30 29 7b 5c 6f 76 61 |ut(135,0|10){\ova|
|00001a80| 6c 28 32 30 2c 32 30 29 | 5b 72 62 5d 7d 0d 0a 20 |l(20,20)|[rb]}.. |
|00001a90| 20 5c 70 75 74 28 31 34 | 35 2c 30 31 30 29 7b 5c | \put(14|5,010){\|
|00001aa0| 6c 69 6e 65 28 30 2c 31 | 29 7b 32 30 7d 7d 0d 0a |line(0,1|){20}}..|
|00001ab0| 20 20 5c 70 75 74 28 31 | 35 35 2c 30 33 30 29 7b | \put(1|55,030){|
|00001ac0| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 6c 74 5d |\oval(20|,20)[lt]|
|00001ad0| 7d 0d 0a 20 20 25 0d 0a | 7d 0d 0a 0d 0a 5c 6e 6f |}.. %..|}....\no|
|00001ae0| 69 6e 64 65 6e 74 0d 0a | 54 68 65 20 65 66 66 65 |indent..|The effe|
|00001af0| 63 74 20 6f 66 20 74 68 | 65 20 65 78 65 63 75 74 |ct of th|e execut|
|00001b00| 69 6f 6e 20 6f 66 20 61 | 20 7b 5c 65 6d 20 70 61 |ion of a| {\em pa|
|00001b10| 72 61 67 72 61 70 68 7d | 20 69 73 20 74 68 65 20 |ragraph}| is the |
|00001b20| 65 66 66 65 63 74 20 6f | 66 20 74 68 65 0d 0a 73 |effect o|f the..s|
|00001b30| 65 71 75 65 6e 74 69 61 | 6c 20 65 78 65 63 75 74 |equentia|l execut|
|00001b40| 69 6f 6e 20 6f 66 20 69 | 74 73 20 7b 5c 65 6d 20 |ion of i|ts {\em |
|00001b50| 75 6e 69 74 73 7d 20 69 | 6e 20 74 65 78 74 75 61 |units} i|n textua|
|00001b60| 6c 20 6f 72 64 65 72 2e | 20 54 68 65 20 76 61 6c |l order.| The val|
|00001b70| 75 65 0d 0a 28 69 66 20 | 61 6e 79 29 20 6f 66 20 |ue..(if |any) of |
|00001b80| 61 20 7b 5c 65 6d 20 70 | 61 72 61 67 72 61 70 68 |a {\em p|aragraph|
|00001b90| 7d 20 69 73 20 74 68 65 | 20 76 61 6c 75 65 20 6f |} is the| value o|
|00001ba0| 66 20 69 74 73 20 6c 61 | 73 74 20 7b 5c 65 6d 20 |f its la|st {\em |
|00001bb0| 75 6e 69 74 7d 2e 0d 0a | 4e 6f 74 69 63 65 20 74 |unit}...|Notice t|
|00001bc0| 68 61 74 20 61 20 7b 5c | 65 6d 20 70 61 72 61 67 |hat a {\|em parag|
|00001bd0| 72 61 70 68 7d 20 6d 61 | 79 20 62 65 20 65 6d 70 |raph} ma|y be emp|
|00001be0| 74 79 2e 20 49 6e 20 74 | 68 61 74 20 63 61 73 65 |ty. In t|hat case|
|00001bf0| 20 69 74 20 68 61 73 20 | 6e 65 69 74 68 65 72 0d | it has |neither.|
|00001c00| 0a 61 6e 20 65 66 66 65 | 63 74 20 6e 6f 72 20 61 |.an effe|ct nor a|
|00001c10| 20 76 61 6c 75 65 2e 0d | 0a 0d 0a 5c 73 65 63 74 | value..|...\sect|
|00001c20| 69 6f 6e 7b 44 65 63 6c | 61 72 61 74 69 6f 6e 73 |ion{Decl|arations|
|00001c30| 7d 0d 0a 0d 0a 44 65 63 | 6c 61 72 61 74 69 6f 6e |}....Dec|laration|
|00001c40| 73 20 61 72 65 20 63 6f | 6e 73 74 72 75 63 74 73 |s are co|nstructs|
|00001c50| 20 74 68 61 74 2c 20 75 | 70 6f 6e 20 65 78 65 63 | that, u|pon exec|
|00001c60| 75 74 69 6f 6e 2c 20 62 | 69 6e 64 20 61 20 7b 5c |ution, b|ind a {\|
|00001c70| 65 6d 20 6e 61 6d 65 7d | 0d 0a 74 6f 20 61 20 76 |em name}|..to a v|
|00001c80| 61 6c 75 65 20 28 7b 5c | 65 6d 20 6f 62 6a 65 63 |alue ({\|em objec|
|00001c90| 74 2d 64 65 63 6c 61 72 | 61 74 69 6f 6e 7d 29 2c |t-declar|ation}),|
|00001ca0| 20 74 6f 20 61 20 64 65 | 63 6c 61 72 65 72 20 28 | to a de|clarer (|
|00001cb0| 7b 5c 65 6d 20 74 79 70 | 65 2d 64 65 63 6c 61 72 |{\em typ|e-declar|
|00001cc0| 61 74 69 6f 6e 7d 29 0d | 0a 6f 72 20 74 6f 20 61 |ation}).|.or to a|
|00001cd0| 20 72 6f 75 74 69 6e 65 | 20 28 7b 5c 65 6d 20 70 | routine| ({\em p|
|00001ce0| 72 6f 63 65 64 75 72 65 | 2d 64 65 63 6c 61 72 61 |rocedure|-declara|
|00001cf0| 74 69 6f 6e 7d 2c 20 7b | 5c 65 6d 20 6f 70 65 72 |tion}, {|\em oper|
|00001d00| 61 74 6f 72 2d 64 65 63 | 6c 61 72 61 74 69 6f 6e |ator-dec|laration|
|00001d10| 7d 29 2e 0d 0a 0d 0a 41 | 70 61 72 74 20 66 72 6f |}).....A|part fro|
|00001d20| 6d 20 74 68 69 73 20 64 | 79 6e 61 6d 69 63 20 65 |m this d|ynamic e|
|00001d30| 66 66 65 63 74 20 74 68 | 65 79 20 68 61 76 65 20 |ffect th|ey have |
|00001d40| 61 20 73 74 61 74 69 63 | 20 65 66 66 65 63 74 2e |a static| effect.|
|00001d50| 20 54 68 65 0d 0a 6f 63 | 63 75 72 72 65 6e 63 65 | The..oc|currence|
|00001d60| 20 6f 66 20 61 20 64 65 | 63 6c 61 72 61 74 69 6f | of a de|claratio|
|00001d70| 6e 20 6d 61 6b 65 73 20 | 74 68 65 20 6e 61 6d 65 |n makes |the name|
|00001d80| 2c 20 64 65 66 69 6e 65 | 64 20 62 79 20 69 74 2c |, define|d by it,|
|00001d90| 20 76 69 73 69 62 6c 65 | 0d 0a 69 6e 20 61 20 73 | visible|..in a s|
|00001da0| 70 65 63 69 66 69 63 20 | 70 61 72 74 20 6f 66 20 |pecific |part of |
|00001db0| 74 68 65 20 70 72 6f 67 | 72 61 6d 2c 20 74 68 65 |the prog|ram, the|
|00001dc0| 20 7b 5c 65 6d 20 73 63 | 6f 70 65 7d 20 6f 66 20 | {\em sc|ope} of |
|00001dd0| 74 68 65 20 64 65 63 6c | 61 72 61 74 69 6f 6e 2c |the decl|aration,|
|00001de0| 0d 0a 74 6f 67 65 74 68 | 65 72 20 77 69 74 68 20 |..togeth|er with |
|00001df0| 74 68 65 20 74 79 70 65 | 20 61 6e 64 20 61 63 63 |the type| and acc|
|00001e00| 65 73 73 20 61 74 74 72 | 69 62 75 74 65 73 20 77 |ess attr|ibutes w|
|00001e10| 69 74 68 20 77 68 69 63 | 68 20 69 74 20 69 73 20 |ith whic|h it is |
|00001e20| 64 65 66 69 6e 65 64 2e | 0d 0a 0d 0a 5c 73 75 62 |defined.|....\sub|
|00001e30| 73 65 63 74 69 6f 6e 7b | 42 6f 74 74 6f 6d 2d 55 |section{|Bottom-U|
|00001e40| 70 20 64 65 63 6c 61 72 | 61 74 69 6f 6e 73 7d 0d |p declar|ations}.|
|00001e50| 0a 0d 0a 57 65 20 77 69 | 6c 6c 20 6e 6f 77 20 64 |...We wi|ll now d|
|00001e60| 65 73 63 72 69 62 65 20 | 74 68 6f 73 65 20 64 65 |escribe |those de|
|00001e70| 63 6c 61 72 61 74 69 6f | 6e 73 20 74 68 61 74 20 |claratio|ns that |
|00001e80| 6f 63 63 75 72 20 69 6e | 20 74 68 65 20 7b 5c 65 |occur in| the {\e|
|00001e90| 6d 20 62 6f 74 74 6f 6d | 2d 75 70 2d 70 61 72 74 |m bottom|-up-part|
|00001ea0| 7d 0d 0a 6f 66 20 61 20 | 70 72 6f 67 72 61 6d 2e |}..of a |program.|
|00001eb0| 0d 0a 0d 0a 5c 73 75 62 | 73 75 62 73 65 63 74 69 |....\sub|subsecti|
|00001ec0| 6f 6e 7b 50 72 6f 63 65 | 64 75 72 65 2d 64 65 63 |on{Proce|dure-dec|
|00001ed0| 6c 61 72 61 74 69 6f 6e | 73 7d 0d 0a 0d 0a 5c 70 |laration|s}....\p|
|00001ee0| 69 63 28 33 31 35 2c 30 | 34 30 29 7b 5c 73 6d 61 |ic(315,0|40){\sma|
|00001ef0| 6c 6c 0d 0a 20 20 5c 70 | 75 74 28 30 30 30 2c 30 |ll.. \p|ut(000,0|
|00001f00| 33 30 29 7b 5c 75 6e 64 | 65 72 6c 69 6e 65 7b 5c |30){\und|erline{\|
|00001f10| 72 6d 20 70 72 6f 63 65 | 64 75 72 65 2d 64 65 63 |rm proce|dure-dec|
|00001f20| 6c 61 72 61 74 69 6f 6e | 7d 7d 0d 0a 20 20 25 0d |laration|}}.. %.|
|00001f30| 0a 20 20 5c 70 75 74 28 | 30 30 30 2c 30 31 30 29 |. \put(|000,010)|
|00001f40| 7b 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 32 |{\vector|(1,0){02|
|00001f50| 30 7d 5c 6e 74 62 6f 78 | 7b 30 37 30 7d 7b 70 72 |0}\ntbox|{070}{pr|
|00001f60| 6f 63 65 64 75 72 65 2d | 68 65 61 64 7d 0d 0a 20 |ocedure-|head}.. |
|00001f70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 5c | | \|
|00001f80| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 32 30 7d |vector(1|,0){020}|
|00001f90| 5c 6e 74 62 6f 78 7b 30 | 37 30 7d 7b 70 72 6f 63 |\ntbox{0|70}{proc|
|00001fa0| 65 64 75 72 65 2d 62 6f | 64 79 7d 0d 0a 20 20 20 |edure-bo|dy}.. |
|00001fb0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 76 65 | | \ve|
|00001fc0| 63 74 6f 72 28 31 2c 30 | 29 7b 30 32 30 7d 5c 6e |ctor(1,0|){020}\n|
|00001fd0| 74 62 6f 78 7b 30 37 30 | 7d 7b 70 72 6f 63 65 64 |tbox{070|}{proced|
|00001fe0| 75 72 65 2d 74 61 69 6c | 7d 0d 0a 20 20 20 20 20 |ure-tail|}.. |
|00001ff0| 20 20 20 20 20 20 20 20 | 20 20 20 5c 76 65 63 74 | | \vect|
|00002000| 6f 72 28 31 2c 30 29 7b | 30 32 30 7d 7d 0d 0a 20 |or(1,0){|020}}.. |
|00002010| 20 25 0d 0a 7d 0d 0a 0d | 0a 5c 70 69 63 28 33 31 | %..}...|.\pic(31|
|00002020| 35 2c 31 31 30 29 7b 5c | 73 6d 61 6c 6c 0d 0a 20 |5,110){\|small.. |
|00002030| 20 5c 70 75 74 28 30 30 | 30 2c 31 30 30 29 7b 5c | \put(00|0,100){\|
|00002040| 75 6e 64 65 72 6c 69 6e | 65 7b 5c 72 6d 20 70 72 |underlin|e{\rm pr|
|00002050| 6f 63 65 64 75 72 65 2d | 68 65 61 64 7d 7d 0d 0a |ocedure-|head}}..|
|00002060| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 30 30 30 2c | %.. \|put(000,|
|00002070| 30 38 30 29 7b 5c 76 65 | 63 74 6f 72 28 31 2c 30 |080){\ve|ctor(1,0|
|00002080| 29 7b 30 33 30 7d 5c 6e | 74 62 6f 78 7b 30 36 30 |){030}\n|tbox{060|
|00002090| 7d 7b 74 79 70 65 2d 64 | 65 63 6c 61 72 65 72 7d |}{type-d|eclarer}|
|000020a0| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|000020b0| 20 20 5c 76 65 63 74 6f | 72 28 31 2c 30 29 7b 30 | \vecto|r(1,0){0|
|000020c0| 33 30 7d 5c 74 62 6f 78 | 7b 30 34 30 7d 7b 50 52 |30}\tbox|{040}{PR|
|000020d0| 4f 43 7d 0d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |OC}.. | |
|000020e0| 20 20 20 20 20 5c 6c 69 | 6e 65 28 31 2c 30 29 7b | \li|ne(1,0){|
|000020f0| 30 30 35 7d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |005}}.. | %.. \p|
|00002100| 75 74 28 30 30 35 2c 30 | 37 30 29 7b 5c 6f 76 61 |ut(005,0|70){\ova|
|00002110| 6c 28 32 30 2c 32 30 29 | 5b 72 74 5d 7d 0d 0a 20 |l(20,20)|[rt]}.. |
|00002120| 20 5c 70 75 74 28 30 32 | 35 2c 30 37 30 29 7b 5c | \put(02|5,070){\|
|00002130| 6f 76 61 6c 28 32 30 2c | 32 30 29 5b 6c 62 5d 7d |oval(20,|20)[lb]}|
|00002140| 0d 0a 20 20 5c 70 75 74 | 28 30 32 35 2c 30 36 30 |.. \put|(025,060|
|00002150| 29 7b 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 37 30 7d |){\line(|1,0){70}|
|00002160| 7d 0d 0a 20 20 5c 70 75 | 74 28 30 39 35 2c 30 37 |}.. \pu|t(095,07|
|00002170| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00002180| 72 62 5d 7d 0d 0a 20 20 | 5c 70 75 74 28 31 31 35 |rb]}.. |\put(115|
|00002190| 2c 30 37 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,070){\o|val(20,2|
|000021a0| 30 29 5b 6c 74 5d 7d 0d | 0a 20 20 25 0d 0a 20 20 |0)[lt]}.|. %.. |
|000021b0| 5c 70 75 74 28 31 36 35 | 2c 30 37 30 29 7b 5c 6f |\put(165|,070){\o|
|000021c0| 76 61 6c 28 32 30 2c 32 | 30 29 5b 72 74 5d 7d 0d |val(20,2|0)[rt]}.|
|000021d0| 0a 20 20 5c 70 75 74 28 | 31 37 35 2c 30 37 30 29 |. \put(|175,070)|
|000021e0| 7b 5c 6c 69 6e 65 28 30 | 2c 2d 31 29 7b 30 32 30 |{\line(0|,-1){020|
|000021f0| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 31 36 35 2c 30 |}}.. \p|ut(165,0|
|00002200| 35 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |50){\ova|l(20,20)|
|00002210| 5b 72 62 5d 7d 0d 0a 20 | 20 5c 70 75 74 28 31 36 |[rb]}.. | \put(16|
|00002220| 35 2c 30 34 30 29 7b 5c | 6c 69 6e 65 28 2d 31 2c |5,040){\|line(-1,|
|00002230| 30 29 7b 31 34 30 7d 7d | 0d 0a 20 20 5c 70 75 74 |0){140}}|.. \put|
|00002240| 28 30 32 35 2c 30 33 30 | 29 7b 5c 6f 76 61 6c 28 |(025,030|){\oval(|
|00002250| 32 30 2c 32 30 29 5b 6c | 5d 7d 0d 0a 20 20 25 0d |20,20)[l|]}.. %.|
|00002260| 0a 20 20 5c 70 75 74 28 | 30 32 35 2c 30 32 30 29 |. \put(|025,020)|
|00002270| 7b 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 30 |{\vector|(1,0){00|
|00002280| 35 7d 5c 6e 74 62 6f 78 | 7b 30 37 30 7d 7b 70 72 |5}\ntbox|{070}{pr|
|00002290| 6f 63 65 64 75 72 65 2d | 6e 61 6d 65 7d 0d 0a 20 |ocedure-|name}.. |
|000022a0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 5c | | \|
|000022b0| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 33 30 7d |vector(1|,0){030}|
|000022c0| 5c 6e 74 62 6f 78 7b 31 | 30 30 7d 7b 66 6f 72 6d |\ntbox{1|00}{form|
|000022d0| 61 6c 2d 70 61 72 61 6d | 65 74 65 72 73 2d 70 61 |al-param|eters-pa|
|000022e0| 63 6b 7d 0d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |ck}.. | |
|000022f0| 20 20 20 20 20 5c 76 65 | 63 74 6f 72 28 31 2c 30 | \ve|ctor(1,0|
|00002300| 29 7b 30 33 30 7d 5c 74 | 62 6f 78 7b 30 31 30 7d |){030}\t|box{010}|
|00002310| 7b 3a 7d 0d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |{:}.. | |
|00002320| 20 20 20 20 20 5c 76 65 | 63 74 6f 72 28 31 2c 30 | \ve|ctor(1,0|
|00002330| 29 7b 30 33 30 7d 7d 0d | 0a 20 20 25 0d 0a 20 20 |){030}}.|. %.. |
|00002340| 5c 70 75 74 28 31 30 35 | 2c 30 31 30 29 7b 5c 6f |\put(105|,010){\o|
|00002350| 76 61 6c 28 32 30 2c 32 | 30 29 5b 72 74 5d 7d 0d |val(20,2|0)[rt]}.|
|00002360| 0a 20 20 5c 70 75 74 28 | 31 32 35 2c 30 31 30 29 |. \put(|125,010)|
|00002370| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 62 |{\oval(2|0,20)[lb|
|00002380| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 31 32 35 2c 30 |]}.. \p|ut(125,0|
|00002390| 30 30 29 7b 5c 6c 69 6e | 65 28 31 2c 30 29 7b 31 |00){\lin|e(1,0){1|
|000023a0| 31 30 7d 7d 0d 0a 20 20 | 5c 70 75 74 28 32 33 35 |10}}.. |\put(235|
|000023b0| 2c 30 31 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,010){\o|val(20,2|
|000023c0| 30 29 5b 72 62 5d 7d 0d | 0a 20 20 5c 70 75 74 28 |0)[rb]}.|. \put(|
|000023d0| 32 35 35 2c 30 31 30 29 | 7b 5c 6f 76 61 6c 28 32 |255,010)|{\oval(2|
|000023e0| 30 2c 32 30 29 5b 6c 74 | 5d 7d 0d 0a 20 20 25 0d |0,20)[lt|]}.. %.|
|000023f0| 0a 7d 0d 0a 0d 0a 5c 6e | 6f 69 6e 64 65 6e 74 0d |.}....\n|oindent.|
|00002400| 0a 54 68 65 20 68 65 61 | 64 20 67 69 76 65 73 20 |.The hea|d gives |
|00002410| 74 68 65 20 7b 5c 65 6d | 20 70 72 6f 63 65 64 75 |the {\em| procedu|
|00002420| 72 65 2d 6e 61 6d 65 7d | 2c 20 74 68 65 20 74 79 |re-name}|, the ty|
|00002430| 70 65 73 20 61 6e 64 20 | 61 63 63 65 73 73 20 61 |pes and |access a|
|00002440| 74 74 72 69 62 75 74 65 | 73 20 6f 66 0d 0a 69 74 |ttribute|s of..it|
|00002450| 73 20 70 61 72 61 6d 65 | 74 65 72 73 20 28 69 66 |s parame|ters (if|
|00002460| 20 61 6e 79 29 20 61 6e | 64 20 74 68 65 20 74 79 | any) an|d the ty|
|00002470| 70 65 20 6f 66 20 69 74 | 73 20 72 65 73 75 6c 74 |pe of it|s result|
|00002480| 20 28 69 66 20 61 6e 79 | 29 2e 0d 0a 0d 0a 5c 70 | (if any|).....\p|
|00002490| 69 63 28 33 31 35 2c 31 | 36 30 29 7b 5c 73 6d 61 |ic(315,1|60){\sma|
|000024a0| 6c 6c 0d 0a 20 20 5c 70 | 75 74 28 30 30 30 2c 31 |ll.. \p|ut(000,1|
|000024b0| 35 30 29 7b 5c 75 6e 64 | 65 72 6c 69 6e 65 7b 5c |50){\und|erline{\|
|000024c0| 72 6d 20 66 6f 72 6d 61 | 6c 2d 70 61 72 61 6d 65 |rm forma|l-parame|
|000024d0| 74 65 72 73 2d 70 61 63 | 6b 7d 7d 0d 0a 20 20 25 |ters-pac|k}}.. %|
|000024e0| 0d 0a 20 20 5c 70 75 74 | 28 30 30 30 2c 31 33 30 |.. \put|(000,130|
|000024f0| 29 7b 5c 76 65 63 74 6f | 72 28 31 2c 30 29 7b 30 |){\vecto|r(1,0){0|
|00002500| 33 30 7d 5c 74 62 6f 78 | 7b 30 31 30 7d 7b 28 7d |30}\tbox|{010}{(}|
|00002510| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00002520| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 30 35 | \line(|1,0){005|
|00002530| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 30 34 35 2c 31 |}}.. \p|ut(045,1|
|00002540| 32 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |20){\ova|l(20,20)|
|00002550| 5b 72 5d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |[r]}.. |%.. \pu|
|00002560| 74 28 32 33 35 2c 31 30 | 30 29 7b 5c 6f 76 61 6c |t(235,10|0){\oval|
|00002570| 28 32 30 2c 32 30 29 5b | 72 5d 7d 0d 0a 20 20 5c |(20,20)[|r]}.. \|
|00002580| 70 75 74 28 32 33 35 2c | 31 31 30 29 7b 5c 76 65 |put(235,|110){\ve|
|00002590| 63 74 6f 72 28 2d 31 2c | 30 29 7b 30 34 30 7d 7d |ctor(-1,|0){040}}|
|000025a0| 0d 0a 20 20 5c 70 75 74 | 28 30 32 35 2c 31 31 30 |.. \put|(025,110|
|000025b0| 29 7b 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 31 36 30 |){\line(|1,0){160|
|000025c0| 7d 5c 74 62 6f 78 7b 30 | 31 30 7d 7b 2c 7d 7d 0d |}\tbox{0|10}{,}}.|
|000025d0| 0a 20 20 5c 70 75 74 28 | 31 34 35 2c 31 30 30 29 |. \put(|145,100)|
|000025e0| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 5d |{\oval(2|0,20)[l]|
|000025f0| 7d 0d 0a 20 20 25 0d 0a | 20 20 5c 70 75 74 28 30 |}.. %..| \put(0|
|00002600| 32 35 2c 31 30 30 29 7b | 5c 6f 76 61 6c 28 32 30 |25,100){|\oval(20|
|00002610| 2c 32 30 29 5b 6c 5d 7d | 0d 0a 20 20 5c 70 75 74 |,20)[l]}|.. \put|
|00002620| 28 30 32 35 2c 30 39 30 | 29 7b 5c 76 65 63 74 6f |(025,090|){\vecto|
|00002630| 72 28 31 2c 30 29 7b 30 | 30 35 7d 5c 6e 74 62 6f |r(1,0){0|05}\ntbo|
|00002640| 78 7b 30 36 30 7d 7b 74 | 79 70 65 2d 64 65 63 6c |x{060}{t|ype-decl|
|00002650| 61 72 65 72 7d 0d 0a 20 | 20 20 20 20 20 20 20 20 |arer}.. | |
|00002660| 20 20 20 20 20 20 20 5c | 76 65 63 74 6f 72 28 31 | \|vector(1|
|00002670| 2c 30 29 7b 30 36 30 7d | 5c 6e 74 62 6f 78 7b 30 |,0){060}|\ntbox{0|
|00002680| 38 30 7d 7b 70 61 72 61 | 6d 65 74 65 72 2d 6e 61 |80}{para|meter-na|
|00002690| 6d 65 7d 0d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |me}.. | |
|000026a0| 20 20 20 20 20 5c 76 65 | 63 74 6f 72 28 31 2c 30 | \ve|ctor(1,0|
|000026b0| 29 7b 30 33 30 7d 5c 74 | 62 6f 78 7b 30 31 30 7d |){030}\t|box{010}|
|000026c0| 7b 29 7d 0d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |{)}.. | |
|000026d0| 20 20 20 20 20 5c 76 65 | 63 74 6f 72 28 31 2c 30 | \ve|ctor(1,0|
|000026e0| 29 7b 30 33 30 7d 7d 0d | 0a 20 20 25 0d 0a 20 20 |){030}}.|. %.. |
|000026f0| 5c 70 75 74 28 30 31 35 | 2c 31 30 30 29 7b 5c 6c |\put(015|,100){\l|
|00002700| 69 6e 65 28 30 2c 2d 31 | 29 7b 30 38 30 7d 7d 0d |ine(0,-1|){080}}.|
|00002710| 0a 20 20 5c 70 75 74 28 | 30 32 35 2c 30 32 30 29 |. \put(|025,020)|
|00002720| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 62 |{\oval(2|0,20)[lb|
|00002730| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 30 32 35 2c 30 |]}.. \p|ut(025,0|
|00002740| 31 30 29 7b 5c 6c 69 6e | 65 28 31 2c 30 29 7b 30 |10){\lin|e(1,0){0|
|00002750| 33 30 7d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |30}}.. |%.. \pu|
|00002760| 74 28 30 39 35 2c 30 38 | 30 29 7b 5c 6f 76 61 6c |t(095,08|0){\oval|
|00002770| 28 32 30 2c 32 30 29 5b | 72 5d 7d 0d 0a 20 20 5c |(20,20)[|r]}.. \|
|00002780| 70 75 74 28 30 39 35 2c | 30 37 30 29 7b 5c 6c 69 |put(095,|070){\li|
|00002790| 6e 65 28 2d 31 2c 30 29 | 7b 30 34 30 7d 7d 0d 0a |ne(-1,0)|{040}}..|
|000027a0| 20 20 5c 70 75 74 28 30 | 35 35 2c 30 36 30 29 7b | \put(0|55,060){|
|000027b0| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 6c 5d 7d |\oval(20|,20)[l]}|
|000027c0| 0d 0a 20 20 5c 70 75 74 | 28 30 34 35 2c 30 36 30 |.. \put|(045,060|
|000027d0| 29 7b 5c 6c 69 6e 65 28 | 30 2c 2d 31 29 7b 30 34 |){\line(|0,-1){04|
|000027e0| 30 7d 7d 0d 0a 20 20 25 | 0d 0a 20 20 5c 70 75 74 |0}}.. %|.. \put|
|000027f0| 28 31 32 35 2c 30 38 30 | 29 7b 5c 6f 76 61 6c 28 |(125,080|){\oval(|
|00002800| 32 30 2c 32 30 29 5b 6c | 74 5d 7d 0d 0a 20 20 5c |20,20)[l|t]}.. \|
|00002810| 70 75 74 28 31 31 35 2c | 30 38 30 29 7b 5c 6c 69 |put(115,|080){\li|
|00002820| 6e 65 28 30 2c 2d 31 29 | 7b 30 36 30 7d 7d 0d 0a |ne(0,-1)|{060}}..|
|00002830| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 30 35 35 2c | %.. \|put(055,|
|00002840| 30 36 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |060){\ov|al(20,20|
|00002850| 29 5b 6c 62 5d 7d 0d 0a | 20 20 5c 70 75 74 28 30 |)[lb]}..| \put(0|
|00002860| 35 35 2c 30 35 30 29 7b | 5c 76 65 63 74 6f 72 28 |55,050){|\vector(|
|00002870| 31 2c 30 29 7b 30 30 35 | 7d 5c 74 62 6f 78 7b 30 |1,0){005|}\tbox{0|
|00002880| 34 30 7d 7b 43 4f 4e 53 | 54 7d 0d 0a 20 20 20 20 |40}{CONS|T}.. |
|00002890| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 6c 69 6e | | \lin|
|000028a0| 65 28 31 2c 30 29 7b 30 | 30 35 7d 7d 0d 0a 20 20 |e(1,0){0|05}}.. |
|000028b0| 5c 70 75 74 28 31 30 35 | 2c 30 36 30 29 7b 5c 6f |\put(105|,060){\o|
|000028c0| 76 61 6c 28 32 30 2c 32 | 30 29 5b 72 62 5d 7d 0d |val(20,2|0)[rb]}.|
|000028d0| 0a 20 20 25 0d 0a 20 20 | 5c 70 75 74 28 30 35 35 |. %.. |\put(055|
|000028e0| 2c 30 34 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,040){\o|val(20,2|
|000028f0| 30 29 5b 6c 62 5d 7d 0d | 0a 20 20 5c 70 75 74 28 |0)[lb]}.|. \put(|
|00002900| 30 35 35 2c 30 33 30 29 | 7b 5c 76 65 63 74 6f 72 |055,030)|{\vector|
|00002910| 28 31 2c 30 29 7b 30 30 | 35 7d 5c 74 62 6f 78 7b |(1,0){00|5}\tbox{|
|00002920| 30 34 30 7d 7b 56 41 52 | 7d 0d 0a 20 20 20 20 20 |040}{VAR|}.. |
|00002930| 20 20 20 20 20 20 20 20 | 20 20 20 5c 6c 69 6e 65 | | \line|
|00002940| 28 31 2c 30 29 7b 30 30 | 35 7d 7d 0d 0a 20 20 5c |(1,0){00|5}}.. \|
|00002950| 70 75 74 28 31 30 35 2c | 30 34 30 29 7b 5c 6f 76 |put(105,|040){\ov|
|00002960| 61 6c 28 32 30 2c 32 30 | 29 5b 72 62 5d 7d 0d 0a |al(20,20|)[rb]}..|
|00002970| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 30 35 35 2c | %.. \|put(055,|
|00002980| 30 32 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |020){\ov|al(20,20|
|00002990| 29 5b 6c 62 5d 7d 0d 0a | 20 20 5c 70 75 74 28 30 |)[lb]}..| \put(0|
|000029a0| 35 35 2c 30 31 30 29 7b | 5c 76 65 63 74 6f 72 28 |55,010){|\vector(|
|000029b0| 31 2c 30 29 7b 30 30 35 | 7d 5c 74 62 6f 78 7b 30 |1,0){005|}\tbox{0|
|000029c0| 34 30 7d 7b 50 52 4f 43 | 7d 0d 0a 20 20 20 20 20 |40}{PROC|}.. |
|000029d0| 20 20 20 20 20 20 20 20 | 20 20 20 5c 6c 69 6e 65 | | \line|
|000029e0| 28 31 2c 30 29 7b 30 30 | 35 7d 7d 0d 0a 20 20 5c |(1,0){00|5}}.. \|
|000029f0| 70 75 74 28 31 30 35 2c | 30 32 30 29 7b 5c 6f 76 |put(105,|020){\ov|
|00002a00| 61 6c 28 32 30 2c 32 30 | 29 5b 72 62 5d 7d 0d 0a |al(20,20|)[rb]}..|
|00002a10| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 31 30 35 2c | %.. \|put(105,|
|00002a20| 30 31 30 29 7b 5c 76 65 | 63 74 6f 72 28 31 2c 30 |010){\ve|ctor(1,0|
|00002a30| 29 7b 30 32 35 7d 5c 6e | 74 62 6f 78 7b 31 30 30 |){025}\n|tbox{100|
|00002a40| 7d 7b 76 69 72 74 75 61 | 6c 2d 70 61 72 61 6d 65 |}{virtua|l-parame|
|00002a50| 74 65 72 73 2d 70 61 63 | 6b 7d 0d 0a 20 20 20 20 |ters-pac|k}.. |
|00002a60| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 6c 69 6e | | \lin|
|00002a70| 65 28 31 2c 30 29 7b 30 | 30 35 7d 7d 0d 0a 20 20 |e(1,0){0|05}}.. |
|00002a80| 5c 70 75 74 28 32 33 35 | 2c 30 32 30 29 7b 5c 6f |\put(235|,020){\o|
|00002a90| 76 61 6c 28 32 30 2c 32 | 30 29 5b 72 5d 7d 0d 0a |val(20,2|0)[r]}..|
|00002aa0| 20 20 5c 70 75 74 28 32 | 33 35 2c 30 33 30 29 7b | \put(2|35,030){|
|00002ab0| 5c 6c 69 6e 65 28 2d 31 | 2c 30 29 7b 31 31 30 7d |\line(-1|,0){110}|
|00002ac0| 7d 0d 0a 20 20 5c 70 75 | 74 28 31 32 35 2c 30 34 |}.. \pu|t(125,04|
|00002ad0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00002ae0| 6c 62 5d 7d 0d 0a 20 20 | 25 0d 0a 7d 0d 0a 0d 0a |lb]}.. |%..}....|
|00002af0| 5c 6e 6f 69 6e 64 65 6e | 74 0d 0a 50 61 72 61 6d |\noinden|t..Param|
|00002b00| 65 74 65 72 73 20 61 72 | 65 20 65 69 74 68 65 72 |eters ar|e either|
|00002b10| 20 6f 62 6a 65 63 74 73 | 20 6f 72 20 70 72 6f 63 | objects| or proc|
|00002b20| 65 64 75 72 65 73 2c 20 | 61 73 20 63 61 6e 20 62 |edures, |as can b|
|00002b30| 65 20 64 65 64 75 63 65 | 64 0d 0a 66 72 6f 6d 20 |e deduce|d..from |
|00002b40| 74 68 69 73 20 72 61 74 | 68 65 72 20 75 6e 77 69 |this rat|her unwi|
|00002b50| 65 6c 64 79 20 73 79 6e | 74 61 78 20 64 69 61 67 |eldy syn|tax diag|
|00002b60| 72 61 6d 2e 20 49 6e 20 | 63 61 73 65 20 61 20 70 |ram. In |case a p|
|00002b70| 72 6f 63 65 64 75 72 65 | 0d 0a 69 73 20 74 6f 20 |rocedure|..is to |
|00002b80| 62 65 20 70 61 73 73 65 | 64 20 61 73 20 61 20 70 |be passe|d as a p|
|00002b90| 61 72 61 6d 65 74 65 72 | 2c 20 74 68 65 20 74 79 |arameter|, the ty|
|00002ba0| 70 65 73 20 6f 66 20 69 | 74 73 20 70 61 72 61 6d |pes of i|ts param|
|00002bb0| 65 74 65 72 73 20 61 72 | 65 0d 0a 69 6e 20 74 68 |eters ar|e..in th|
|00002bc0| 65 69 72 20 74 75 72 6e | 20 74 6f 20 62 65 20 73 |eir turn| to be s|
|00002bd0| 70 65 63 69 66 69 65 64 | 20 70 72 65 63 69 73 65 |pecified| precise|
|00002be0| 6c 79 20 62 79 20 6d 65 | 61 6e 73 20 6f 66 20 61 |ly by me|ans of a|
|00002bf0| 0d 0a 7b 5c 65 6d 20 76 | 69 72 74 75 61 6c 2d 70 |..{\em v|irtual-p|
|00002c00| 61 72 61 6d 65 74 65 72 | 73 2d 70 61 63 6b 7d 2e |arameter|s-pack}.|
|00002c10| 0d 0a 0d 0a 5c 70 69 63 | 28 33 31 35 2c 31 36 30 |....\pic|(315,160|
|00002c20| 29 7b 5c 73 6d 61 6c 6c | 0d 0a 20 20 5c 70 75 74 |){\small|.. \put|
|00002c30| 28 30 30 30 2c 31 35 30 | 29 7b 5c 75 6e 64 65 72 |(000,150|){\under|
|00002c40| 6c 69 6e 65 7b 5c 72 6d | 20 76 69 72 74 75 61 6c |line{\rm| virtual|
|00002c50| 2d 70 61 72 61 6d 65 74 | 65 72 73 2d 70 61 63 6b |-paramet|ers-pack|
|00002c60| 7d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |}}.. %.|. \put(|
|00002c70| 30 30 30 2c 31 33 30 29 | 7b 5c 76 65 63 74 6f 72 |000,130)|{\vector|
|00002c80| 28 31 2c 30 29 7b 30 33 | 30 7d 5c 74 62 6f 78 7b |(1,0){03|0}\tbox{|
|00002c90| 30 31 30 7d 7b 28 7d 0d | 0a 20 20 20 20 20 20 20 |010}{(}.|. |
|00002ca0| 20 20 20 20 20 20 20 20 | 20 5c 6c 69 6e 65 28 31 | | \line(1|
|00002cb0| 2c 30 29 7b 30 30 35 7d | 7d 0d 0a 20 20 5c 70 75 |,0){005}|}.. \pu|
|00002cc0| 74 28 30 34 35 2c 31 32 | 30 29 7b 5c 6f 76 61 6c |t(045,12|0){\oval|
|00002cd0| 28 32 30 2c 32 30 29 5b | 72 5d 7d 0d 0a 20 20 25 |(20,20)[|r]}.. %|
|00002ce0| 0d 0a 20 20 5c 70 75 74 | 28 32 33 35 2c 31 30 30 |.. \put|(235,100|
|00002cf0| 29 7b 5c 6f 76 61 6c 28 | 32 30 2c 32 30 29 5b 72 |){\oval(|20,20)[r|
|00002d00| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 33 35 2c 31 |]}.. \p|ut(235,1|
|00002d10| 31 30 29 7b 5c 76 65 63 | 74 6f 72 28 2d 31 2c 30 |10){\vec|tor(-1,0|
|00002d20| 29 7b 30 34 30 7d 7d 0d | 0a 20 20 5c 70 75 74 28 |){040}}.|. \put(|
|00002d30| 30 32 35 2c 31 31 30 29 | 7b 5c 6c 69 6e 65 28 31 |025,110)|{\line(1|
|00002d40| 2c 30 29 7b 31 36 30 7d | 5c 74 62 6f 78 7b 30 31 |,0){160}|\tbox{01|
|00002d50| 30 7d 7b 2c 7d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |0}{,}}..| %.. \|
|00002d60| 70 75 74 28 30 32 35 2c | 31 30 30 29 7b 5c 6f 76 |put(025,|100){\ov|
|00002d70| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 5d 7d 0d 0a 20 |al(20,20|)[l]}.. |
|00002d80| 20 5c 70 75 74 28 30 32 | 35 2c 30 39 30 29 7b 5c | \put(02|5,090){\|
|00002d90| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 30 35 7d |vector(1|,0){005}|
|00002da0| 5c 6e 74 62 6f 78 7b 30 | 36 30 7d 7b 74 79 70 65 |\ntbox{0|60}{type|
|00002db0| 2d 64 65 63 6c 61 72 65 | 72 7d 0d 0a 20 20 20 20 |-declare|r}.. |
|00002dc0| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 76 65 63 | | \vec|
|00002dd0| 74 6f 72 28 31 2c 30 29 | 7b 31 37 30 7d 5c 74 62 |tor(1,0)|{170}\tb|
|00002de0| 6f 78 7b 30 31 30 7d 7b | 29 7d 0d 0a 20 20 20 20 |ox{010}{|)}.. |
|00002df0| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 76 65 63 | | \vec|
|00002e00| 74 6f 72 28 31 2c 30 29 | 7b 30 33 30 7d 7d 0d 0a |tor(1,0)|{030}}..|
|00002e10| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 30 31 35 2c | %.. \|put(015,|
|00002e20| 31 30 30 29 7b 5c 6c 69 | 6e 65 28 30 2c 2d 31 29 |100){\li|ne(0,-1)|
|00002e30| 7b 30 38 30 7d 7d 0d 0a | 20 20 5c 70 75 74 28 30 |{080}}..| \put(0|
|00002e40| 32 35 2c 30 32 30 29 7b | 5c 6f 76 61 6c 28 32 30 |25,020){|\oval(20|
|00002e50| 2c 32 30 29 5b 6c 62 5d | 7d 0d 0a 20 20 5c 70 75 |,20)[lb]|}.. \pu|
|00002e60| 74 28 30 32 35 2c 30 31 | 30 29 7b 5c 6c 69 6e 65 |t(025,01|0){\line|
|00002e70| 28 31 2c 30 29 7b 30 33 | 30 7d 7d 0d 0a 20 20 25 |(1,0){03|0}}.. %|
|00002e80| 0d 0a 20 20 5c 70 75 74 | 28 30 39 35 2c 30 38 30 |.. \put|(095,080|
|00002e90| 29 7b 5c 6f 76 61 6c 28 | 32 30 2c 32 30 29 5b 72 |){\oval(|20,20)[r|
|00002ea0| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 30 39 35 2c 30 |]}.. \p|ut(095,0|
|00002eb0| 37 30 29 7b 5c 6c 69 6e | 65 28 2d 31 2c 30 29 7b |70){\lin|e(-1,0){|
|00002ec0| 30 34 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 35 |040}}.. | \put(05|
|00002ed0| 35 2c 30 36 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,060){\|oval(20,|
|00002ee0| 32 30 29 5b 6c 5d 7d 0d | 0a 20 20 5c 70 75 74 28 |20)[l]}.|. \put(|
|00002ef0| 30 34 35 2c 30 36 30 29 | 7b 5c 6c 69 6e 65 28 30 |045,060)|{\line(0|
|00002f00| 2c 2d 31 29 7b 30 34 30 | 7d 7d 0d 0a 20 20 25 0d |,-1){040|}}.. %.|
|00002f10| 0a 20 20 5c 70 75 74 28 | 31 32 35 2c 30 38 30 29 |. \put(|125,080)|
|00002f20| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 74 |{\oval(2|0,20)[lt|
|00002f30| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 31 31 35 2c 30 |]}.. \p|ut(115,0|
|00002f40| 38 30 29 7b 5c 6c 69 6e | 65 28 30 2c 2d 31 29 7b |80){\lin|e(0,-1){|
|00002f50| 30 36 30 7d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |060}}.. | %.. \p|
|00002f60| 75 74 28 30 35 35 2c 30 | 36 30 29 7b 5c 6f 76 61 |ut(055,0|60){\ova|
|00002f70| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|00002f80| 20 5c 70 75 74 28 30 35 | 35 2c 30 35 30 29 7b 5c | \put(05|5,050){\|
|00002f90| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 30 35 7d |vector(1|,0){005}|
|00002fa0| 5c 74 62 6f 78 7b 30 34 | 30 7d 7b 43 4f 4e 53 54 |\tbox{04|0}{CONST|
|00002fb0| 7d 0d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.. | |
|00002fc0| 20 20 20 5c 6c 69 6e 65 | 28 31 2c 30 29 7b 30 30 | \line|(1,0){00|
|00002fd0| 35 7d 7d 0d 0a 20 20 5c | 70 75 74 28 31 30 35 2c |5}}.. \|put(105,|
|00002fe0| 30 36 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |060){\ov|al(20,20|
|00002ff0| 29 5b 72 62 5d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |)[rb]}..| %.. \|
|00003000| 70 75 74 28 30 35 35 2c | 30 34 30 29 7b 5c 6f 76 |put(055,|040){\ov|
|00003010| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 62 5d 7d 0d 0a |al(20,20|)[lb]}..|
|00003020| 20 20 5c 70 75 74 28 30 | 35 35 2c 30 33 30 29 7b | \put(0|55,030){|
|00003030| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 30 35 |\vector(|1,0){005|
|00003040| 7d 5c 74 62 6f 78 7b 30 | 34 30 7d 7b 56 41 52 7d |}\tbox{0|40}{VAR}|
|00003050| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00003060| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 30 35 | \line(|1,0){005|
|00003070| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 31 30 35 2c 30 |}}.. \p|ut(105,0|
|00003080| 34 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |40){\ova|l(20,20)|
|00003090| 5b 72 62 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |[rb]}.. | %.. \p|
|000030a0| 75 74 28 30 35 35 2c 30 | 32 30 29 7b 5c 6f 76 61 |ut(055,0|20){\ova|
|000030b0| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|000030c0| 20 5c 70 75 74 28 30 35 | 35 2c 30 31 30 29 7b 5c | \put(05|5,010){\|
|000030d0| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 30 35 7d |vector(1|,0){005}|
|000030e0| 5c 74 62 6f 78 7b 30 34 | 30 7d 7b 50 52 4f 43 7d |\tbox{04|0}{PROC}|
|000030f0| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00003100| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 30 35 | \line(|1,0){005|
|00003110| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 31 30 35 2c 30 |}}.. \p|ut(105,0|
|00003120| 32 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |20){\ova|l(20,20)|
|00003130| 5b 72 62 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |[rb]}.. | %.. \p|
|00003140| 75 74 28 31 30 35 2c 30 | 31 30 29 7b 5c 76 65 63 |ut(105,0|10){\vec|
|00003150| 74 6f 72 28 31 2c 30 29 | 7b 30 32 35 7d 5c 6e 74 |tor(1,0)|{025}\nt|
|00003160| 62 6f 78 7b 31 30 30 7d | 7b 76 69 72 74 75 61 6c |box{100}|{virtual|
|00003170| 2d 70 61 72 61 6d 65 74 | 65 72 73 2d 70 61 63 6b |-paramet|ers-pack|
|00003180| 7d 0d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.. | |
|00003190| 20 20 20 5c 6c 69 6e 65 | 28 31 2c 30 29 7b 30 30 | \line|(1,0){00|
|000031a0| 35 7d 7d 0d 0a 20 20 5c | 70 75 74 28 32 33 35 2c |5}}.. \|put(235,|
|000031b0| 30 32 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |020){\ov|al(20,20|
|000031c0| 29 5b 72 5d 7d 0d 0a 20 | 20 5c 70 75 74 28 32 33 |)[r]}.. | \put(23|
|000031d0| 35 2c 30 33 30 29 7b 5c | 6c 69 6e 65 28 2d 31 2c |5,030){\|line(-1,|
|000031e0| 30 29 7b 31 31 30 7d 7d | 0d 0a 20 20 5c 70 75 74 |0){110}}|.. \put|
|000031f0| 28 31 32 35 2c 30 34 30 | 29 7b 5c 6f 76 61 6c 28 |(125,040|){\oval(|
|00003200| 32 30 2c 32 30 29 5b 6c | 62 5d 7d 0d 0a 20 20 25 |20,20)[l|b]}.. %|
|00003210| 0d 0a 7d 0d 0a 0d 0a 5c | 6e 6f 69 6e 64 65 6e 74 |..}....\|noindent|
|00003220| 0d 0a 41 20 7b 5c 65 6d | 20 70 72 6f 63 65 64 75 |..A {\em| procedu|
|00003230| 72 65 2d 62 6f 64 79 7d | 20 68 61 73 20 74 68 65 |re-body}| has the|
|00003240| 20 73 61 6d 65 20 66 6f | 72 6d 20 61 73 20 61 20 | same fo|rm as a |
|00003250| 7b 5c 65 6d 20 6d 61 69 | 6e 2d 70 61 63 6b 65 74 |{\em mai|n-packet|
|00003260| 7d 20 77 69 74 68 6f 75 | 74 0d 0a 61 20 7b 5c 65 |} withou|t..a {\e|
|00003270| 6d 20 62 6f 74 74 6f 6d | 2d 75 70 2d 70 61 72 74 |m bottom|-up-part|
|00003280| 7d 2e 0d 0a 0d 0a 5c 70 | 69 63 28 33 31 35 2c 30 |}.....\p|ic(315,0|
|00003290| 34 30 29 7b 5c 73 6d 61 | 6c 6c 0d 0a 20 20 5c 70 |40){\sma|ll.. \p|
|000032a0| 75 74 28 30 30 30 2c 30 | 33 30 29 7b 5c 75 6e 64 |ut(000,0|30){\und|
|000032b0| 65 72 6c 69 6e 65 7b 5c | 72 6d 20 70 72 6f 63 65 |erline{\|rm proce|
|000032c0| 64 75 72 65 2d 62 6f 64 | 79 7d 7d 0d 0a 20 20 25 |dure-bod|y}}.. %|
|000032d0| 0d 0a 20 20 5c 70 75 74 | 28 30 30 30 2c 30 31 30 |.. \put|(000,010|
|000032e0| 29 7b 5c 76 65 63 74 6f | 72 28 31 2c 30 29 7b 30 |){\vecto|r(1,0){0|
|000032f0| 33 30 7d 5c 6e 74 62 6f | 78 7b 30 34 30 7d 7b 72 |30}\ntbo|x{040}{r|
|00003300| 6f 6f 74 7d 0d 0a 20 20 | 20 20 20 20 20 20 20 20 |oot}.. | |
|00003310| 20 20 20 20 20 20 5c 76 | 65 63 74 6f 72 28 31 2c | \v|ector(1,|
|00003320| 30 29 7b 30 33 30 7d 5c | 6e 74 62 6f 78 7b 30 38 |0){030}\|ntbox{08|
|00003330| 30 7d 7b 74 6f 70 2d 64 | 6f 77 6e 2d 70 61 72 74 |0}{top-d|own-part|
|00003340| 7d 0d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.. | |
|00003350| 20 20 20 5c 76 65 63 74 | 6f 72 28 31 2c 30 29 7b | \vect|or(1,0){|
|00003360| 30 33 30 7d 7d 0d 0a 20 | 20 25 0d 0a 7d 0d 0a 0d |030}}.. | %..}...|
|00003370| 0a 5c 70 69 63 28 33 31 | 35 2c 30 35 30 29 7b 5c |.\pic(31|5,050){\|
|00003380| 73 6d 61 6c 6c 0d 0a 20 | 20 5c 70 75 74 28 30 30 |small.. | \put(00|
|00003390| 30 2c 30 34 30 29 7b 5c | 75 6e 64 65 72 6c 69 6e |0,040){\|underlin|
|000033a0| 65 7b 5c 72 6d 20 70 72 | 6f 63 65 64 75 72 65 2d |e{\rm pr|ocedure-|
|000033b0| 74 61 69 6c 7d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |tail}}..| %.. \|
|000033c0| 70 75 74 28 30 30 30 2c | 30 32 30 29 7b 5c 76 65 |put(000,|020){\ve|
|000033d0| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 5c 74 |ctor(1,0|){030}\t|
|000033e0| 62 6f 78 7b 30 34 30 7d | 7b 45 4e 44 50 52 4f 43 |box{040}|{ENDPROC|
|000033f0| 7d 0d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.. | |
|00003400| 20 20 20 5c 76 65 63 74 | 6f 72 28 31 2c 30 29 7b | \vect|or(1,0){|
|00003410| 30 33 30 7d 5c 6e 74 62 | 6f 78 7b 30 38 30 7d 7b |030}\ntb|ox{080}{|
|00003420| 70 72 6f 63 65 64 75 72 | 65 2d 6e 61 6d 65 7d 0d |procedur|e-name}.|
|00003430| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00003440| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|00003450| 30 7d 7d 0d 0a 20 20 25 | 0d 0a 20 20 5c 70 75 74 |0}}.. %|.. \put|
|00003460| 28 30 37 35 2c 30 31 30 | 29 7b 5c 6f 76 61 6c 28 |(075,010|){\oval(|
|00003470| 32 30 2c 32 30 29 5b 72 | 74 5d 7d 0d 0a 20 20 5c |20,20)[r|t]}.. \|
|00003480| 70 75 74 28 30 39 35 2c | 30 31 30 29 7b 5c 6f 76 |put(095,|010){\ov|
|00003490| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 62 5d 7d 0d 0a |al(20,20|)[lb]}..|
|000034a0| 20 20 5c 70 75 74 28 30 | 39 35 2c 30 30 30 29 7b | \put(0|95,000){|
|000034b0| 5c 6c 69 6e 65 28 31 2c | 30 29 7b 39 30 7d 7d 0d |\line(1,|0){90}}.|
|000034c0| 0a 20 20 5c 70 75 74 28 | 31 38 35 2c 30 31 30 29 |. \put(|185,010)|
|000034d0| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 72 62 |{\oval(2|0,20)[rb|
|000034e0| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 30 35 2c 30 |]}.. \p|ut(205,0|
|000034f0| 31 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |10){\ova|l(20,20)|
|00003500| 5b 6c 74 5d 7d 0d 0a 20 | 20 25 0d 0a 7d 0d 0a 0d |[lt]}.. | %..}...|
|00003510| 0a 5c 6e 6f 69 6e 64 65 | 6e 74 0d 0a 54 68 65 20 |.\noinde|nt..The |
|00003520| 6e 61 6d 65 20 6f 66 20 | 74 68 65 20 70 72 6f 63 |name of |the proc|
|00003530| 65 64 75 72 65 20 69 73 | 20 72 65 70 65 61 74 65 |edure is| repeate|
|00003540| 64 20 61 66 74 65 72 20 | 74 68 65 20 7b 5c 74 74 |d after |the {\tt|
|00003550| 20 45 4e 44 50 52 4f 43 | 7d 0d 0a 73 79 6d 62 6f | ENDPROC|}..symbo|
|00003560| 6c 2e 20 49 6e 20 74 68 | 65 20 45 6c 61 6e 20 50 |l. In th|e Elan P|
|00003570| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 45 6e 76 69 72 |rogrammi|ng Envir|
|00003580| 6f 6e 6d 65 6e 74 20 74 | 68 69 73 20 6e 61 6d 65 |onment t|his name|
|00003590| 20 6d 61 79 20 62 65 0d | 0a 6c 65 66 74 20 6f 75 | may be.|.left ou|
|000035a0| 74 20 28 69 6e 20 77 68 | 69 63 68 20 63 61 73 65 |t (in wh|ich case|
|000035b0| 20 69 74 20 69 73 20 69 | 6e 73 65 72 74 65 64 20 | it is i|nserted |
|000035c0| 61 75 74 6f 6d 61 74 69 | 63 61 6c 6c 79 29 2e 20 |automati|cally). |
|000035d0| 0d 0a 0d 0a 5c 73 75 62 | 73 75 62 73 65 63 74 69 |....\sub|subsecti|
|000035e0| 6f 6e 7b 4f 70 65 72 61 | 74 6f 72 2d 64 65 63 6c |on{Opera|tor-decl|
|000035f0| 61 72 61 74 69 6f 6e 73 | 7d 0d 0a 0d 0a 41 6e 20 |arations|}....An |
|00003600| 7b 5c 65 6d 20 6f 70 65 | 72 61 74 6f 72 2d 64 65 |{\em ope|rator-de|
|00003610| 63 6c 61 72 61 74 69 6f | 6e 7d 20 66 6f 6c 6c 6f |claratio|n} follo|
|00003620| 77 73 20 74 68 65 20 70 | 61 74 74 65 72 6e 20 6f |ws the p|attern o|
|00003630| 66 20 61 0d 0a 7b 5c 65 | 6d 20 70 72 6f 63 65 64 |f a..{\e|m proced|
|00003640| 75 72 65 2d 64 65 63 6c | 61 72 61 74 69 6f 6e 7d |ure-decl|aration}|
|00003650| 2e 0d 0a 0d 0a 5c 70 69 | 63 28 33 31 35 2c 30 34 |.....\pi|c(315,04|
|00003660| 30 29 7b 5c 73 6d 61 6c | 6c 0d 0a 20 20 5c 70 75 |0){\smal|l.. \pu|
|00003670| 74 28 30 30 30 2c 30 33 | 30 29 7b 5c 75 6e 64 65 |t(000,03|0){\unde|
|00003680| 72 6c 69 6e 65 7b 5c 72 | 6d 20 6f 70 65 72 61 74 |rline{\r|m operat|
|00003690| 6f 72 2d 64 65 63 6c 61 | 72 61 74 69 6f 6e 7d 7d |or-decla|ration}}|
|000036a0| 0d 0a 20 20 25 0d 0a 20 | 20 5c 70 75 74 28 30 30 |.. %.. | \put(00|
|000036b0| 30 2c 30 31 30 29 7b 5c | 76 65 63 74 6f 72 28 31 |0,010){\|vector(1|
|000036c0| 2c 30 29 7b 30 32 30 7d | 5c 6e 74 62 6f 78 7b 30 |,0){020}|\ntbox{0|
|000036d0| 37 30 7d 7b 6f 70 65 72 | 61 74 6f 72 2d 68 65 61 |70}{oper|ator-hea|
|000036e0| 64 7d 0d 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |d}.. | |
|000036f0| 20 20 20 20 5c 76 65 63 | 74 6f 72 28 31 2c 30 29 | \vec|tor(1,0)|
|00003700| 7b 30 32 30 7d 5c 6e 74 | 62 6f 78 7b 30 37 30 7d |{020}\nt|box{070}|
|00003710| 7b 6f 70 65 72 61 74 6f | 72 2d 62 6f 64 79 7d 0d |{operato|r-body}.|
|00003720| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00003730| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 32 | \vector|(1,0){02|
|00003740| 30 7d 5c 6e 74 62 6f 78 | 7b 30 37 30 7d 7b 6f 70 |0}\ntbox|{070}{op|
|00003750| 65 72 61 74 6f 72 2d 74 | 61 69 6c 7d 0d 0a 20 20 |erator-t|ail}.. |
|00003760| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 76 | | \v|
|00003770| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 32 30 7d 7d |ector(1,|0){020}}|
|00003780| 0d 0a 20 20 25 0d 0a 7d | 0d 0a 0d 0a 5c 6e 6f 69 |.. %..}|....\noi|
|00003790| 6e 64 65 6e 74 0d 0a 4f | 6e 6c 79 20 69 74 73 20 |ndent..O|nly its |
|000037a0| 68 65 61 64 20 61 6e 64 | 20 74 61 69 6c 20 61 72 |head and| tail ar|
|000037b0| 65 20 73 6f 6d 65 77 68 | 61 74 20 64 69 66 66 65 |e somewh|at diffe|
|000037c0| 72 65 6e 74 2e 0d 0a 0d | 0a 5c 70 69 63 28 33 31 |rent....|.\pic(31|
|000037d0| 35 2c 31 30 30 29 7b 5c | 73 6d 61 6c 6c 0d 0a 20 |5,100){\|small.. |
|000037e0| 20 5c 70 75 74 28 30 30 | 30 2c 30 39 30 29 7b 5c | \put(00|0,090){\|
|000037f0| 75 6e 64 65 72 6c 69 6e | 65 7b 5c 72 6d 20 6f 70 |underlin|e{\rm op|
|00003800| 65 72 61 74 6f 72 2d 68 | 65 61 64 7d 7d 0d 0a 20 |erator-h|ead}}.. |
|00003810| 20 25 0d 0a 20 20 5c 70 | 75 74 28 30 30 30 2c 30 | %.. \p|ut(000,0|
|00003820| 37 30 29 7b 5c 76 65 63 | 74 6f 72 28 31 2c 30 29 |70){\vec|tor(1,0)|
|00003830| 7b 30 33 30 7d 5c 6e 74 | 62 6f 78 7b 30 36 30 7d |{030}\nt|box{060}|
|00003840| 7b 74 79 70 65 2d 64 65 | 63 6c 61 72 65 72 7d 0d |{type-de|clarer}.|
|00003850| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00003860| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|00003870| 30 7d 5c 74 62 6f 78 7b | 30 34 30 7d 7b 4f 50 7d |0}\tbox{|040}{OP}|
|00003880| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00003890| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 30 35 | \line(|1,0){005|
|000038a0| 7d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |}}.. %.|. \put(|
|000038b0| 30 30 35 2c 30 36 30 29 | 7b 5c 6f 76 61 6c 28 32 |005,060)|{\oval(2|
|000038c0| 30 2c 32 30 29 5b 72 74 | 5d 7d 0d 0a 20 20 5c 70 |0,20)[rt|]}.. \p|
|000038d0| 75 74 28 30 32 35 2c 30 | 36 30 29 7b 5c 6f 76 61 |ut(025,0|60){\ova|
|000038e0| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|000038f0| 20 5c 70 75 74 28 30 32 | 35 2c 30 35 30 29 7b 5c | \put(02|5,050){\|
|00003900| 6c 69 6e 65 28 31 2c 30 | 29 7b 37 30 7d 7d 0d 0a |line(1,0|){70}}..|
|00003910| 20 20 5c 70 75 74 28 30 | 39 35 2c 30 36 30 29 7b | \put(0|95,060){|
|00003920| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 62 5d |\oval(20|,20)[rb]|
|00003930| 7d 0d 0a 20 20 5c 70 75 | 74 28 31 31 35 2c 30 36 |}.. \pu|t(115,06|
|00003940| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00003950| 6c 74 5d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |lt]}.. |%.. \pu|
|00003960| 74 28 31 36 35 2c 30 36 | 30 29 7b 5c 6f 76 61 6c |t(165,06|0){\oval|
|00003970| 28 32 30 2c 32 30 29 5b | 72 74 5d 7d 0d 0a 20 20 |(20,20)[|rt]}.. |
|00003980| 5c 70 75 74 28 31 37 35 | 2c 30 36 30 29 7b 5c 6c |\put(175|,060){\l|
|00003990| 69 6e 65 28 30 2c 2d 31 | 29 7b 30 32 30 7d 7d 0d |ine(0,-1|){020}}.|
|000039a0| 0a 20 20 5c 70 75 74 28 | 31 36 35 2c 30 34 30 29 |. \put(|165,040)|
|000039b0| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 72 62 |{\oval(2|0,20)[rb|
|000039c0| 5d 7d 0d 0a 20 20 5c 70 | 75 74 28 31 36 35 2c 30 |]}.. \p|ut(165,0|
|000039d0| 33 30 29 7b 5c 6c 69 6e | 65 28 2d 31 2c 30 29 7b |30){\lin|e(-1,0){|
|000039e0| 31 34 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 32 |140}}.. | \put(02|
|000039f0| 35 2c 30 32 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,020){\|oval(20,|
|00003a00| 32 30 29 5b 6c 5d 7d 0d | 0a 20 20 25 0d 0a 20 20 |20)[l]}.|. %.. |
|00003a10| 5c 70 75 74 28 30 32 35 | 2c 30 31 30 29 7b 5c 76 |\put(025|,010){\v|
|00003a20| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 30 35 7d 5c |ector(1,|0){005}\|
|00003a30| 6e 74 62 6f 78 7b 30 37 | 30 7d 7b 6f 70 65 72 61 |ntbox{07|0}{opera|
|00003a40| 74 6f 72 2d 6e 61 6d 65 | 7d 0d 0a 20 20 20 20 20 |tor-name|}.. |
|00003a50| 20 20 20 20 20 20 20 20 | 20 20 20 5c 76 65 63 74 | | \vect|
|00003a60| 6f 72 28 31 2c 30 29 7b | 30 33 30 7d 5c 6e 74 62 |or(1,0){|030}\ntb|
|00003a70| 6f 78 7b 31 30 30 7d 7b | 66 6f 72 6d 61 6c 2d 70 |ox{100}{|formal-p|
|00003a80| 61 72 61 6d 65 74 65 72 | 73 2d 70 61 63 6b 7d 0d |arameter|s-pack}.|
|00003a90| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00003aa0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|00003ab0| 30 7d 5c 74 62 6f 78 7b | 30 31 30 7d 7b 3a 7d 0d |0}\tbox{|010}{:}.|
|00003ac0| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00003ad0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|00003ae0| 30 7d 7d 0d 0a 20 20 25 | 0d 0a 7d 0d 0a 0d 0a 5c |0}}.. %|..}....\|
|00003af0| 6e 6f 69 6e 64 65 6e 74 | 0d 0a 41 6e 20 7b 5c 65 |noindent|..An {\e|
|00003b00| 6d 20 6f 70 65 72 61 74 | 6f 72 2d 68 65 61 64 7d |m operat|or-head}|
|00003b10| 20 6d 75 73 74 20 63 6f | 6e 74 61 69 6e 20 65 69 | must co|ntain ei|
|00003b20| 74 68 65 72 20 6f 6e 65 | 20 28 66 6f 72 20 7b 5c |ther one| (for {\|
|00003b30| 65 6d 20 6d 6f 6e 61 64 | 69 63 2d 6f 70 65 72 61 |em monad|ic-opera|
|00003b40| 74 6f 72 73 7d 29 0d 0a | 6f 72 20 74 77 6f 20 28 |tors})..|or two (|
|00003b50| 66 6f 72 20 7b 5c 65 6d | 20 64 79 61 64 69 63 2d |for {\em| dyadic-|
|00003b60| 6f 70 65 72 61 74 6f 72 | 73 7d 29 20 70 61 72 61 |operator|s}) para|
|00003b70| 6d 65 74 65 72 73 2e 0d | 0a 0d 0a 5c 70 69 63 28 |meters..|...\pic(|
|00003b80| 33 31 35 2c 30 35 30 29 | 7b 5c 73 6d 61 6c 6c 0d |315,050)|{\small.|
|00003b90| 0a 20 20 5c 70 75 74 28 | 30 30 30 2c 30 34 30 29 |. \put(|000,040)|
|00003ba0| 7b 5c 75 6e 64 65 72 6c | 69 6e 65 7b 5c 72 6d 20 |{\underl|ine{\rm |
|00003bb0| 6f 70 65 72 61 74 6f 72 | 2d 74 61 69 6c 7d 7d 0d |operator|-tail}}.|
|00003bc0| 0a 20 20 25 0d 0a 20 20 | 5c 70 75 74 28 30 30 30 |. %.. |\put(000|
|00003bd0| 2c 30 32 30 29 7b 5c 76 | 65 63 74 6f 72 28 31 2c |,020){\v|ector(1,|
|00003be0| 30 29 7b 30 33 30 7d 5c | 74 62 6f 78 7b 30 34 30 |0){030}\|tbox{040|
|00003bf0| 7d 7b 45 4e 44 4f 50 7d | 0d 0a 20 20 20 20 20 20 |}{ENDOP}|.. |
|00003c00| 20 20 20 20 20 20 20 20 | 20 20 5c 76 65 63 74 6f | | \vecto|
|00003c10| 72 28 31 2c 30 29 7b 30 | 33 30 7d 5c 6e 74 62 6f |r(1,0){0|30}\ntbo|
|00003c20| 78 7b 30 38 30 7d 7b 6f | 70 65 72 61 74 6f 72 2d |x{080}{o|perator-|
|00003c30| 6e 61 6d 65 7d 0d 0a 20 | 20 20 20 20 20 20 20 20 |name}.. | |
|00003c40| 20 20 20 20 20 20 20 5c | 76 65 63 74 6f 72 28 31 | \|vector(1|
|00003c50| 2c 30 29 7b 30 33 30 7d | 7d 0d 0a 20 20 25 0d 0a |,0){030}|}.. %..|
|00003c60| 20 20 5c 70 75 74 28 30 | 37 35 2c 30 31 30 29 7b | \put(0|75,010){|
|00003c70| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 74 5d |\oval(20|,20)[rt]|
|00003c80| 7d 0d 0a 20 20 5c 70 75 | 74 28 30 39 35 2c 30 31 |}.. \pu|t(095,01|
|00003c90| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|00003ca0| 6c 62 5d 7d 0d 0a 20 20 | 5c 70 75 74 28 30 39 35 |lb]}.. |\put(095|
|00003cb0| 2c 30 30 30 29 7b 5c 6c | 69 6e 65 28 31 2c 30 29 |,000){\l|ine(1,0)|
|00003cc0| 7b 39 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 31 38 |{90}}.. | \put(18|
|00003cd0| 35 2c 30 31 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,010){\|oval(20,|
|00003ce0| 32 30 29 5b 72 62 5d 7d | 0d 0a 20 20 5c 70 75 74 |20)[rb]}|.. \put|
|00003cf0| 28 32 30 35 2c 30 31 30 | 29 7b 5c 6f 76 61 6c 28 |(205,010|){\oval(|
|00003d00| 32 30 2c 32 30 29 5b 6c | 74 5d 7d 0d 0a 20 20 25 |20,20)[l|t]}.. %|
|00003d10| 0d 0a 7d 0d 0a 0d 0a 5c | 73 75 62 73 75 62 73 65 |..}....\|subsubse|
|00003d20| 63 74 69 6f 6e 7b 53 79 | 6e 6f 6e 79 6d 2d 64 65 |ction{Sy|nonym-de|
|00003d30| 63 6c 61 72 61 74 69 6f | 6e 73 7d 0d 0a 0d 0a 7b |claratio|ns}....{|
|00003d40| 5c 65 6d 20 53 79 6e 6f | 6e 79 6d 2d 64 65 63 6c |\em Syno|nym-decl|
|00003d50| 61 72 61 74 69 6f 6e 73 | 7d 20 62 69 6e 64 20 65 |arations|} bind e|
|00003d60| 69 74 68 65 72 20 61 20 | 7b 5c 65 6d 20 6e 61 6d |ither a |{\em nam|
|00003d70| 65 7d 20 74 6f 20 61 20 | 7b 5c 65 6d 20 64 65 6e |e} to a |{\em den|
|00003d80| 6f 74 61 74 69 6f 6e 7d | 0d 0a 28 6d 61 6b 69 6e |otation}|..(makin|
|00003d90| 67 20 74 68 61 74 20 6e | 61 6d 65 20 73 79 6e 6f |g that n|ame syno|
|00003da0| 6e 79 6d 6f 75 73 20 77 | 69 74 68 20 74 68 61 74 |nymous w|ith that|
|00003db0| 20 7b 5c 65 6d 20 64 65 | 6e 6f 74 61 74 69 6f 6e | {\em de|notation|
|00003dc0| 7d 29 20 6f 72 0d 0a 61 | 20 7b 5c 65 6d 20 74 79 |}) or..a| {\em ty|
|00003dd0| 70 65 2d 6e 61 6d 65 7d | 20 74 6f 0d 0a 61 20 7b |pe-name}| to..a {|
|00003de0| 5c 65 6d 20 74 79 70 65 | 2d 64 65 63 6c 61 72 65 |\em type|-declare|
|00003df0| 72 7d 20 28 6d 61 6b 69 | 6e 67 20 74 68 61 74 20 |r} (maki|ng that |
|00003e00| 7b 5c 65 6d 20 74 79 70 | 65 2d 6e 61 6d 65 7d 20 |{\em typ|e-name} |
|00003e10| 73 79 6e 6f 6e 79 6d 6f | 75 73 20 74 6f 20 74 68 |synonymo|us to th|
|00003e20| 61 74 0d 0a 7b 5c 65 6d | 20 74 79 70 65 2d 64 65 |at..{\em| type-de|
|00003e30| 63 6c 61 72 65 72 7d 29 | 2e 0d 0a 0d 0a 5c 70 69 |clarer})|.....\pi|
|00003e40| 63 28 33 31 35 2c 31 30 | 30 29 7b 5c 73 6d 61 6c |c(315,10|0){\smal|
|00003e50| 6c 0d 0a 20 20 5c 70 75 | 74 28 30 30 30 2c 30 39 |l.. \pu|t(000,09|
|00003e60| 30 29 7b 5c 75 6e 64 65 | 72 6c 69 6e 65 7b 5c 72 |0){\unde|rline{\r|
|00003e70| 6d 20 73 79 6e 6f 6e 79 | 6d 2d 64 65 63 6c 61 72 |m synony|m-declar|
|00003e80| 61 74 69 6f 6e 7d 7d 0d | 0a 20 20 25 0d 0a 20 20 |ation}}.|. %.. |
|00003e90| 5c 70 75 74 28 30 30 30 | 2c 30 37 30 29 7b 5c 76 |\put(000|,070){\v|
|00003ea0| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 33 30 7d 5c |ector(1,|0){030}\|
|00003eb0| 74 62 6f 78 7b 34 30 7d | 7b 4c 45 54 7d 0d 0a 20 |tbox{40}|{LET}.. |
|00003ec0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 5c | | \|
|00003ed0| 6c 69 6e 65 28 31 2c 30 | 29 7b 35 7d 7d 0d 0a 20 |line(1,0|){5}}.. |
|00003ee0| 20 5c 70 75 74 28 30 37 | 35 2c 30 36 30 29 7b 5c | \put(07|5,060){\|
|00003ef0| 6f 76 61 6c 28 32 30 2c | 32 30 29 5b 72 5d 7d 0d |oval(20,|20)[r]}.|
|00003f00| 0a 20 20 25 0d 0a 20 20 | 5c 70 75 74 28 32 39 35 |. %.. |\put(295|
|00003f10| 2c 30 34 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,040){\o|val(20,2|
|00003f20| 30 29 5b 72 5d 7d 0d 0a | 20 20 5c 70 75 74 28 32 |0)[r]}..| \put(2|
|00003f30| 39 35 2c 30 35 30 29 7b | 5c 76 65 63 74 6f 72 28 |95,050){|\vector(|
|00003f40| 2d 31 2c 30 29 7b 31 32 | 35 7d 7d 0d 0a 20 20 5c |-1,0){12|5}}.. \|
|00003f50| 70 75 74 28 30 32 35 2c | 30 35 30 29 7b 5c 6c 69 |put(025,|050){\li|
|00003f60| 6e 65 28 31 2c 30 29 7b | 31 33 35 7d 5c 74 62 6f |ne(1,0){|135}\tbo|
|00003f70| 78 7b 31 30 7d 7b 2c 7d | 7d 0d 0a 20 20 5c 70 75 |x{10}{,}|}.. \pu|
|00003f80| 74 28 30 32 35 2c 30 34 | 30 29 7b 5c 6f 76 61 6c |t(025,04|0){\oval|
|00003f90| 28 32 30 2c 32 30 29 5b | 6c 5d 7d 0d 0a 20 20 25 |(20,20)[|l]}.. %|
|00003fa0| 0d 0a 20 20 5c 70 75 74 | 28 30 32 35 2c 30 33 30 |.. \put|(025,030|
|00003fb0| 29 7b 5c 76 65 63 74 6f | 72 28 31 2c 30 29 7b 30 |){\vecto|r(1,0){0|
|00003fc0| 30 35 7d 5c 6e 74 62 6f | 78 7b 31 30 30 7d 7b 73 |05}\ntbo|x{100}{s|
|00003fd0| 79 6e 6f 6e 79 6d 2d 6e | 61 6d 65 7d 0d 0a 20 20 |ynonym-n|ame}.. |
|00003fe0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 76 | | \v|
|00003ff0| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 33 30 7d 5c |ector(1,|0){030}\|
|00004000| 74 62 6f 78 7b 30 31 30 | 7d 7b 3d 7d 0d 0a 20 20 |tbox{010|}{=}.. |
|00004010| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 76 | | \v|
|00004020| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 33 30 7d 5c |ector(1,|0){030}\|
|00004030| 6e 74 62 6f 78 7b 30 36 | 30 7d 7b 64 65 6e 6f 74 |ntbox{06|0}{denot|
|00004040| 61 74 69 6f 6e 7d 0d 0a | 20 20 20 20 20 20 20 20 |ation}..| |
|00004050| 20 20 20 20 20 20 20 20 | 5c 76 65 63 74 6f 72 28 | |\vector(|
|00004060| 31 2c 30 29 7b 30 36 30 | 7d 7d 0d 0a 20 20 25 0d |1,0){060|}}.. %.|
|00004070| 0a 20 20 5c 70 75 74 28 | 30 31 35 2c 30 34 30 29 |. \put(|015,040)|
|00004080| 7b 5c 6c 69 6e 65 28 30 | 2c 2d 31 29 7b 32 30 7d |{\line(0|,-1){20}|
|00004090| 7d 0d 0a 20 20 5c 70 75 | 74 28 30 32 35 2c 30 32 |}.. \pu|t(025,02|
|000040a0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|000040b0| 6c 62 5d 7d 0d 0a 20 20 | 5c 70 75 74 28 32 36 35 |lb]}.. |\put(265|
|000040c0| 2c 30 32 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,020){\o|val(20,2|
|000040d0| 30 29 5b 72 62 5d 7d 0d | 0a 20 20 5c 70 75 74 28 |0)[rb]}.|. \put(|
|000040e0| 32 38 35 2c 30 32 30 29 | 7b 5c 6f 76 61 6c 28 32 |285,020)|{\oval(2|
|000040f0| 30 2c 32 30 29 5b 6c 74 | 5d 7d 0d 0a 20 20 25 0d |0,20)[lt|]}.. %.|
|00004100| 0a 20 20 5c 70 75 74 28 | 30 32 35 2c 30 31 30 29 |. \put(|025,010)|
|00004110| 7b 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 30 |{\vector|(1,0){00|
|00004120| 35 7d 5c 6e 74 62 6f 78 | 7b 31 30 30 7d 7b 73 79 |5}\ntbox|{100}{sy|
|00004130| 6e 6f 6e 79 6d 2d 74 79 | 70 65 2d 6e 61 6d 65 7d |nonym-ty|pe-name}|
|00004140| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00004150| 20 20 5c 76 65 63 74 6f | 72 28 31 2c 30 29 7b 30 | \vecto|r(1,0){0|
|00004160| 33 30 7d 5c 74 62 6f 78 | 7b 30 31 30 7d 7b 3d 7d |30}\tbox|{010}{=}|
|00004170| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00004180| 20 20 5c 76 65 63 74 6f | 72 28 31 2c 30 29 7b 30 | \vecto|r(1,0){0|
|00004190| 33 30 7d 5c 6e 74 62 6f | 78 7b 30 36 30 7d 7b 74 |30}\ntbo|x{060}{t|
|000041a0| 79 70 65 2d 64 65 63 6c | 61 72 65 72 7d 0d 0a 20 |ype-decl|arer}.. |
|000041b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 5c | | \|
|000041c0| 6c 69 6e 65 28 31 2c 30 | 29 7b 30 30 35 7d 7d 0d |line(1,0|){005}}.|
|000041d0| 0a 20 20 25 0d 0a 7d 0d | 0a 0d 0a 5c 6e 6f 69 6e |. %..}.|...\noin|
|000041e0| 64 65 6e 74 0d 0a 54 68 | 65 20 73 79 6e 6f 6e 79 |dent..Th|e synony|
|000041f0| 6d 20 68 61 73 20 61 6c | 6c 20 74 68 65 20 70 72 |m has al|l the pr|
|00004200| 6f 70 65 72 74 69 65 73 | 20 6f 66 20 74 68 65 20 |operties| of the |
|00004210| 7b 5c 65 6d 20 64 65 6e | 6f 74 61 74 69 6f 6e 7d |{\em den|otation}|
|00004220| 20 6f 72 0d 0a 7b 5c 65 | 6d 20 74 79 70 65 2d 64 | or..{\e|m type-d|
|00004230| 65 63 6c 61 72 65 72 7d | 20 69 74 20 69 73 20 62 |eclarer}| it is b|
|00004240| 6f 75 6e 64 20 74 6f 20 | 2d 20 69 74 20 6d 61 79 |ound to |- it may|
|00004250| 20 62 65 20 75 73 65 64 | 20 61 74 20 61 6c 6c 20 | be used| at all |
|00004260| 70 6c 61 63 65 73 0d 0a | 77 68 65 72 65 20 74 68 |places..|where th|
|00004270| 61 74 20 77 6f 75 6c 64 | 20 62 65 20 76 61 6c 69 |at would| be vali|
|00004280| 64 2c 20 77 69 74 68 20 | 74 68 65 20 73 61 6d 65 |d, with |the same|
|00004290| 20 6d 65 61 6e 69 6e 67 | 2e 0d 0a 0d 0a 5c 73 75 | meaning|.....\su|
|000042a0| 62 73 65 63 74 69 6f 6e | 7b 54 6f 70 2d 44 6f 77 |bsection|{Top-Dow|
|000042b0| 6e 20 64 65 63 6c 61 72 | 61 74 69 6f 6e 73 7d 0d |n declar|ations}.|
|000042c0| 0a 0d 0a 41 70 61 72 74 | 20 66 72 6f 6d 20 74 68 |...Apart| from th|
|000042d0| 65 20 42 6f 74 74 6f 6d | 2d 55 70 20 64 65 63 6c |e Bottom|-Up decl|
|000042e0| 61 72 61 74 69 6f 6e 73 | 20 61 6c 72 65 61 64 79 |arations| already|
|000042f0| 20 64 65 73 63 72 69 62 | 65 64 2c 20 45 6c 61 6e | describ|ed, Elan|
|00004300| 0d 0a 68 61 73 20 54 6f | 70 2d 44 6f 77 6e 20 64 |..has To|p-Down d|
|00004310| 65 63 6c 61 72 61 74 69 | 6f 6e 73 20 66 6f 72 20 |eclarati|ons for |
|00004320| 64 65 63 6c 61 72 69 6e | 67 20 6f 62 6a 65 63 74 |declarin|g object|
|00004330| 73 2e 20 45 76 65 72 79 | 20 6f 62 6a 65 63 74 0d |s. Every| object.|
|00004340| 0a 69 6e 20 61 6e 20 45 | 6c 61 6e 20 70 72 6f 67 |.in an E|lan prog|
|00004350| 72 61 6d 20 68 61 73 20 | 61 20 7b 5c 65 6d 20 6e |ram has |a {\em n|
|00004360| 61 6d 65 7d 2c 20 61 20 | 7b 5c 65 6d 20 74 79 70 |ame}, a |{\em typ|
|00004370| 65 7d 2c 20 61 6e 20 7b | 5c 65 6d 20 61 63 63 65 |e}, an {|\em acce|
|00004380| 73 73 20 61 74 74 72 69 | 62 75 74 65 7d 0d 0a 28 |ss attri|bute}..(|
|00004390| 7b 5c 74 74 20 56 41 52 | 7d 20 6f 72 20 7b 5c 74 |{\tt VAR|} or {\t|
|000043a0| 74 20 43 4f 4e 53 54 7d | 29 20 61 6e 64 20 28 64 |t CONST}|) and (d|
|000043b0| 75 72 69 6e 67 20 65 78 | 65 63 75 74 69 6f 6e 29 |uring ex|ecution)|
|000043c0| 20 61 20 7b 5c 65 6d 20 | 76 61 6c 75 65 7d 2c 0d | a {\em |value},.|
|000043d0| 0a 77 68 69 63 68 20 6d | 61 79 20 62 65 20 75 6e |.which m|ay be un|
|000043e0| 64 65 66 69 6e 65 64 2e | 20 54 68 65 72 65 20 61 |defined.| There a|
|000043f0| 72 65 20 74 77 6f 20 66 | 6f 72 6d 73 20 6f 66 20 |re two f|orms of |
|00004400| 7b 5c 65 6d 20 6f 62 6a | 65 63 74 2d 64 65 63 6c |{\em obj|ect-decl|
|00004410| 61 72 61 74 69 6f 6e 7d | 3a 0d 0a 0d 0a 5c 70 69 |aration}|:....\pi|
|00004420| 63 28 33 31 35 2c 30 36 | 30 29 7b 5c 73 6d 61 6c |c(315,06|0){\smal|
|00004430| 6c 0d 0a 20 20 5c 70 75 | 74 28 30 30 30 2c 30 35 |l.. \pu|t(000,05|
|00004440| 30 29 7b 5c 75 6e 64 65 | 72 6c 69 6e 65 7b 5c 72 |0){\unde|rline{\r|
|00004450| 6d 20 6f 62 6a 65 63 74 | 2d 64 65 63 6c 61 72 61 |m object|-declara|
|00004460| 74 69 6f 6e 7d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |tion}}..| %.. \|
|00004470| 70 75 74 28 30 30 30 2c | 30 33 30 29 7b 5c 76 65 |put(000,|030){\ve|
|00004480| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 5c 6e |ctor(1,0|){030}\n|
|00004490| 74 62 6f 78 7b 31 30 30 | 7d 7b 76 61 72 69 61 62 |tbox{100|}{variab|
|000044a0| 6c 65 2d 64 65 63 6c 61 | 72 61 74 69 6f 6e 7d 0d |le-decla|ration}.|
|000044b0| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|000044c0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|000044d0| 30 7d 7d 0d 0a 20 20 25 | 0d 0a 20 20 5c 70 75 74 |0}}.. %|.. \put|
|000044e0| 28 30 30 35 2c 30 32 30 | 29 7b 5c 6f 76 61 6c 28 |(005,020|){\oval(|
|000044f0| 32 30 2c 32 30 29 5b 72 | 74 5d 7d 0d 0a 20 20 5c |20,20)[r|t]}.. \|
|00004500| 70 75 74 28 30 32 35 2c | 30 32 30 29 7b 5c 6f 76 |put(025,|020){\ov|
|00004510| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 62 5d 7d 0d 0a |al(20,20|)[lb]}..|
|00004520| 20 20 25 0d 0a 20 20 5c | 70 75 74 28 30 32 35 2c | %.. \|put(025,|
|00004530| 30 31 30 29 7b 5c 76 65 | 63 74 6f 72 28 31 2c 30 |010){\ve|ctor(1,0|
|00004540| 29 7b 30 30 35 7d 5c 6e | 74 62 6f 78 7b 31 30 30 |){005}\n|tbox{100|
|00004550| 7d 7b 63 6f 6e 73 74 61 | 6e 74 2d 64 65 63 6c 61 |}{consta|nt-decla|
|00004560| 72 61 74 69 6f 6e 7d 0d | 0a 20 20 20 20 20 20 20 |ration}.|. |
|00004570| 20 20 20 20 20 20 20 20 | 20 5c 6c 69 6e 65 28 31 | | \line(1|
|00004580| 2c 30 29 7b 30 30 35 7d | 7d 0d 0a 20 20 25 0d 0a |,0){005}|}.. %..|
|00004590| 20 20 5c 70 75 74 28 31 | 33 35 2c 30 32 30 29 7b | \put(1|35,020){|
|000045a0| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 62 5d |\oval(20|,20)[rb]|
|000045b0| 7d 0d 0a 20 20 5c 70 75 | 74 28 31 35 35 2c 30 32 |}.. \pu|t(155,02|
|000045c0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|000045d0| 6c 74 5d 7d 0d 0a 20 20 | 25 0d 0a 7d 0d 0a 0d 0a |lt]}.. |%..}....|
|000045e0| 5c 6e 6f 69 6e 64 65 6e | 74 0d 0a 41 20 7b 5c 65 |\noinden|t..A {\e|
|000045f0| 6d 20 76 61 72 69 61 62 | 6c 65 2d 64 65 63 6c 61 |m variab|le-decla|
|00004600| 72 61 74 69 6f 6e 7d 20 | 64 65 63 6c 61 72 65 73 |ration} |declares|
|00004610| 20 6f 6e 65 20 6f 72 20 | 6d 6f 72 65 20 6f 62 6a | one or |more obj|
|00004620| 65 63 74 73 20 28 7b 5c | 65 6d 20 76 61 72 69 61 |ects ({\|em varia|
|00004630| 62 6c 65 73 7d 29 0d 0a | 77 69 74 68 20 74 68 65 |bles})..|with the|
|00004640| 20 61 63 63 65 73 73 20 | 61 74 74 72 69 62 75 74 | access |attribut|
|00004650| 65 20 7b 5c 74 74 20 56 | 41 52 7d 20 6f 66 20 6f |e {\tt V|AR} of o|
|00004660| 6e 65 20 73 61 6d 65 20 | 74 79 70 65 2e 0d 0a 0d |ne same |type....|
|00004670| 0a 5c 70 69 63 28 33 31 | 35 2c 30 39 30 29 7b 5c |.\pic(31|5,090){\|
|00004680| 73 6d 61 6c 6c 0d 0a 20 | 20 5c 70 75 74 28 30 30 |small.. | \put(00|
|00004690| 30 2c 30 38 30 29 7b 5c | 75 6e 64 65 72 6c 69 6e |0,080){\|underlin|
|000046a0| 65 7b 5c 72 6d 20 76 61 | 72 69 61 62 6c 65 2d 64 |e{\rm va|riable-d|
|000046b0| 65 63 6c 61 72 61 74 69 | 6f 6e 7d 7d 0d 0a 20 20 |eclarati|on}}.. |
|000046c0| 25 0d 0a 20 20 5c 70 75 | 74 28 30 30 30 2c 30 36 |%.. \pu|t(000,06|
|000046d0| 30 29 7b 5c 76 65 63 74 | 6f 72 28 31 2c 30 29 7b |0){\vect|or(1,0){|
|000046e0| 30 33 30 7d 5c 6e 74 62 | 6f 78 7b 30 36 30 7d 7b |030}\ntb|ox{060}{|
|000046f0| 74 79 70 65 2d 64 65 63 | 6c 61 72 65 72 7d 0d 0a |type-dec|larer}..|
|00004700| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004710| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 33 30 |\vector(|1,0){030|
|00004720| 7d 5c 74 62 6f 78 7b 30 | 34 30 7d 7b 56 41 52 7d |}\tbox{0|40}{VAR}|
|00004730| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00004740| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 30 35 | \line(|1,0){005|
|00004750| 7d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |}}.. %.|. \put(|
|00004760| 31 36 35 2c 30 35 30 29 | 7b 5c 6f 76 61 6c 28 32 |165,050)|{\oval(2|
|00004770| 30 2c 32 30 29 5b 72 5d | 7d 0d 0a 20 20 25 0d 0a |0,20)[r]|}.. %..|
|00004780| 20 20 5c 70 75 74 28 32 | 37 35 2c 30 33 30 29 7b | \put(2|75,030){|
|00004790| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 5d 7d |\oval(20|,20)[r]}|
|000047a0| 0d 0a 20 20 5c 70 75 74 | 28 32 37 35 2c 30 34 30 |.. \put|(275,040|
|000047b0| 29 7b 5c 76 65 63 74 6f | 72 28 2d 31 2c 30 29 7b |){\vecto|r(-1,0){|
|000047c0| 30 36 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 32 |060}}.. | \put(02|
|000047d0| 35 2c 30 34 30 29 7b 5c | 6c 69 6e 65 28 31 2c 30 |5,040){\|line(1,0|
|000047e0| 29 7b 31 38 30 7d 5c 74 | 62 6f 78 7b 31 30 7d 7b |){180}\t|box{10}{|
|000047f0| 2c 7d 7d 0d 0a 20 20 5c | 70 75 74 28 30 32 35 2c |,}}.. \|put(025,|
|00004800| 30 33 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |030){\ov|al(20,20|
|00004810| 29 5b 6c 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |)[l]}.. | %.. \p|
|00004820| 75 74 28 30 32 35 2c 30 | 32 30 29 7b 5c 76 65 63 |ut(025,0|20){\vec|
|00004830| 74 6f 72 28 31 2c 30 29 | 7b 30 30 35 7d 5c 6e 74 |tor(1,0)|{005}\nt|
|00004840| 62 6f 78 7b 30 38 30 7d | 7b 76 61 72 69 61 62 6c |box{080}|{variabl|
|00004850| 65 2d 6e 61 6d 65 7d 0d | 0a 20 20 20 20 20 20 20 |e-name}.|. |
|00004860| 20 20 20 20 20 20 20 20 | 20 5c 76 65 63 74 6f 72 | | \vector|
|00004870| 28 31 2c 30 29 7b 30 33 | 30 7d 5c 74 62 6f 78 7b |(1,0){03|0}\tbox{|
|00004880| 31 30 7d 7b 3a 3a 7d 0d | 0a 20 20 20 20 20 20 20 |10}{::}.|. |
|00004890| 20 20 20 20 20 20 20 20 | 20 5c 76 65 63 74 6f 72 | | \vector|
|000048a0| 28 31 2c 30 29 7b 30 33 | 30 7d 5c 6e 74 62 6f 78 |(1,0){03|0}\ntbox|
|000048b0| 7b 30 36 30 7d 7b 65 78 | 70 72 65 73 73 69 6f 6e |{060}{ex|pression|
|000048c0| 7d 0d 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}.. | |
|000048d0| 20 20 20 5c 76 65 63 74 | 6f 72 28 31 2c 30 29 7b | \vect|or(1,0){|
|000048e0| 30 36 30 7d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |060}}.. | %.. \p|
|000048f0| 75 74 28 31 31 35 2c 30 | 31 30 29 7b 5c 6f 76 61 |ut(115,0|10){\ova|
|00004900| 6c 28 32 30 2c 32 30 29 | 5b 72 74 5d 7d 0d 0a 20 |l(20,20)|[rt]}.. |
|00004910| 20 5c 70 75 74 28 31 33 | 35 2c 30 31 30 29 7b 5c | \put(13|5,010){\|
|00004920| 6f 76 61 6c 28 32 30 2c | 32 30 29 5b 6c 62 5d 7d |oval(20,|20)[lb]}|
|00004930| 0d 0a 20 20 5c 70 75 74 | 28 31 33 35 2c 30 30 30 |.. \put|(135,000|
|00004940| 29 7b 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 31 31 30 |){\line(|1,0){110|
|00004950| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 34 35 2c 30 |}}.. \p|ut(245,0|
|00004960| 31 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |10){\ova|l(20,20)|
|00004970| 5b 72 62 5d 7d 0d 0a 20 | 20 5c 70 75 74 28 32 36 |[rb]}.. | \put(26|
|00004980| 35 2c 30 31 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,010){\|oval(20,|
|00004990| 32 30 29 5b 6c 74 5d 7d | 0d 0a 20 20 25 0d 0a 7d |20)[lt]}|.. %..}|
|000049a0| 0d 0a 0d 0a 5c 6e 6f 69 | 6e 64 65 6e 74 0d 0a 54 |....\noi|ndent..T|
|000049b0| 68 65 20 7b 5c 65 6d 20 | 65 78 70 72 65 73 73 69 |he {\em |expressi|
|000049c0| 6f 6e 7d 20 70 72 65 63 | 65 64 65 64 20 62 79 20 |on} prec|eded by |
|000049d0| 74 68 65 20 63 75 72 69 | 6f 75 73 20 73 69 67 6e |the curi|ous sign|
|000049e0| 20 7b 5c 74 74 20 3a 3a | 7d 20 69 73 20 74 68 65 | {\tt ::|} is the|
|000049f0| 0d 0a 7b 5c 65 6d 20 69 | 6e 69 74 69 61 6c 69 7a |..{\em i|nitializ|
|00004a00| 61 74 69 6f 6e 7d 20 66 | 6f 72 20 74 68 65 20 76 |ation} f|or the v|
|00004a10| 61 72 69 61 62 6c 65 2e | 0d 0a 49 74 73 20 76 61 |ariable.|..Its va|
|00004a20| 6c 75 65 20 28 6f 72 2c | 20 69 66 20 74 68 65 72 |lue (or,| if ther|
|00004a30| 65 20 69 73 20 6e 6f 20 | 69 6e 69 74 69 61 6c 69 |e is no |initiali|
|00004a40| 7a 61 74 69 6f 6e 2c 20 | 61 6e 20 75 6e 64 65 66 |zation, |an undef|
|00004a50| 69 6e 65 64 20 76 61 6c | 75 65 29 0d 0a 69 73 20 |ined val|ue)..is |
|00004a60| 61 73 73 69 67 6e 65 64 | 20 74 6f 20 74 68 65 20 |assigned| to the |
|00004a70| 7b 5c 65 6d 20 76 61 72 | 69 61 62 6c 65 2d 6e 61 |{\em var|iable-na|
|00004a80| 6d 65 7d 2e 0d 0a 0d 0a | 41 20 7b 5c 65 6d 20 63 |me}.....|A {\em c|
|00004a90| 6f 6e 73 74 61 6e 74 7d | 20 69 73 20 61 6e 20 6f |onstant}| is an o|
|00004aa0| 62 6a 65 63 74 20 77 69 | 74 68 20 74 68 65 20 61 |bject wi|th the a|
|00004ab0| 63 63 65 73 73 20 61 74 | 74 72 69 62 75 74 65 20 |ccess at|tribute |
|00004ac0| 7b 5c 74 74 20 43 4f 4e | 53 54 7d 0d 0a 61 6e 64 |{\tt CON|ST}..and|
|00004ad0| 20 61 6c 77 61 79 73 20 | 6f 62 74 61 69 6e 73 20 | always |obtains |
|00004ae0| 61 20 77 65 6c 6c 20 64 | 65 66 69 6e 65 64 20 76 |a well d|efined v|
|00004af0| 61 6c 75 65 20 61 74 20 | 69 74 73 20 64 65 63 6c |alue at |its decl|
|00004b00| 61 72 61 74 69 6f 6e 2e | 0d 0a 0d 0a 5c 70 69 63 |aration.|....\pic|
|00004b10| 28 33 31 35 2c 30 38 30 | 29 7b 5c 73 6d 61 6c 6c |(315,080|){\small|
|00004b20| 0d 0a 20 20 5c 70 75 74 | 28 30 30 30 2c 30 37 30 |.. \put|(000,070|
|00004b30| 29 7b 5c 75 6e 64 65 72 | 6c 69 6e 65 7b 5c 72 6d |){\under|line{\rm|
|00004b40| 20 63 6f 6e 73 74 61 6e | 74 2d 64 65 63 6c 61 72 | constan|t-declar|
|00004b50| 61 74 69 6f 6e 7d 7d 0d | 0a 20 20 25 0d 0a 20 20 |ation}}.|. %.. |
|00004b60| 5c 70 75 74 28 30 30 30 | 2c 30 35 30 29 7b 5c 76 |\put(000|,050){\v|
|00004b70| 65 63 74 6f 72 28 31 2c | 30 29 7b 30 33 30 7d 5c |ector(1,|0){030}\|
|00004b80| 6e 74 62 6f 78 7b 30 36 | 30 7d 7b 74 79 70 65 2d |ntbox{06|0}{type-|
|00004b90| 64 65 63 6c 61 72 65 72 | 7d 0d 0a 20 20 20 20 20 |declarer|}.. |
|00004ba0| 20 20 20 20 20 20 20 20 | 20 20 20 5c 76 65 63 74 | | \vect|
|00004bb0| 6f 72 28 31 2c 30 29 7b | 30 33 30 7d 5c 74 62 6f |or(1,0){|030}\tbo|
|00004bc0| 78 7b 30 34 30 7d 7b 43 | 4f 4e 53 54 7d 0d 0a 20 |x{040}{C|ONST}.. |
|00004bd0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 5c | | \|
|00004be0| 6c 69 6e 65 28 31 2c 30 | 29 7b 30 30 35 7d 7d 0d |line(1,0|){005}}.|
|00004bf0| 0a 20 20 25 0d 0a 20 20 | 5c 70 75 74 28 31 36 35 |. %.. |\put(165|
|00004c00| 2c 30 34 30 29 7b 5c 6f | 76 61 6c 28 32 30 2c 32 |,040){\o|val(20,2|
|00004c10| 30 29 5b 72 5d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |0)[r]}..| %.. \|
|00004c20| 70 75 74 28 32 37 35 2c | 30 32 30 29 7b 5c 6f 76 |put(275,|020){\ov|
|00004c30| 61 6c 28 32 30 2c 32 30 | 29 5b 72 5d 7d 0d 0a 20 |al(20,20|)[r]}.. |
|00004c40| 20 5c 70 75 74 28 32 37 | 35 2c 30 33 30 29 7b 5c | \put(27|5,030){\|
|00004c50| 76 65 63 74 6f 72 28 2d | 31 2c 30 29 7b 30 36 30 |vector(-|1,0){060|
|00004c60| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 30 32 35 2c 30 |}}.. \p|ut(025,0|
|00004c70| 33 30 29 7b 5c 6c 69 6e | 65 28 31 2c 30 29 7b 31 |30){\lin|e(1,0){1|
|00004c80| 38 30 7d 5c 74 62 6f 78 | 7b 31 30 7d 7b 2c 7d 7d |80}\tbox|{10}{,}}|
|00004c90| 0d 0a 20 20 5c 70 75 74 | 28 30 32 35 2c 30 32 30 |.. \put|(025,020|
|00004ca0| 29 7b 5c 6f 76 61 6c 28 | 32 30 2c 32 30 29 5b 6c |){\oval(|20,20)[l|
|00004cb0| 5d 7d 0d 0a 20 20 25 0d | 0a 20 20 5c 70 75 74 28 |]}.. %.|. \put(|
|00004cc0| 30 32 35 2c 30 31 30 29 | 7b 5c 76 65 63 74 6f 72 |025,010)|{\vector|
|00004cd0| 28 31 2c 30 29 7b 30 30 | 35 7d 5c 6e 74 62 6f 78 |(1,0){00|5}\ntbox|
|00004ce0| 7b 30 38 30 7d 7b 63 6f | 6e 73 74 61 6e 74 2d 6e |{080}{co|nstant-n|
|00004cf0| 61 6d 65 7d 0d 0a 20 20 | 20 20 20 20 20 20 20 20 |ame}.. | |
|00004d00| 20 20 20 20 20 20 5c 76 | 65 63 74 6f 72 28 31 2c | \v|ector(1,|
|00004d10| 30 29 7b 30 33 30 7d 5c | 74 62 6f 78 7b 31 30 7d |0){030}\|tbox{10}|
|00004d20| 7b 3a 3a 7d 0d 0a 20 20 | 20 20 20 20 20 20 20 20 |{::}.. | |
|00004d30| 20 20 20 20 20 20 5c 76 | 65 63 74 6f 72 28 31 2c | \v|ector(1,|
|00004d40| 30 29 7b 30 33 30 7d 5c | 6e 74 62 6f 78 7b 30 36 |0){030}\|ntbox{06|
|00004d50| 30 7d 7b 65 78 70 72 65 | 73 73 69 6f 6e 7d 0d 0a |0}{expre|ssion}..|
|00004d60| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004d70| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 36 30 |\vector(|1,0){060|
|00004d80| 7d 7d 0d 0a 20 20 25 0d | 0a 7d 0d 0a 0d 0a 5c 6e |}}.. %.|.}....\n|
|00004d90| 6f 69 6e 64 65 6e 74 0d | 0a 41 20 76 61 72 69 61 |oindent.|.A varia|
|00004da0| 62 6c 65 20 63 61 6e 20 | 6f 62 74 61 69 6e 20 61 |ble can |obtain a|
|00004db0| 6e 6f 74 68 65 72 20 76 | 61 6c 75 65 20 61 73 73 |nother v|alue ass|
|00004dc0| 69 67 6e 61 74 69 6f 6e | 2c 20 77 68 65 72 65 61 |ignation|, wherea|
|00004dd0| 73 20 61 20 63 6f 6e 73 | 74 61 6e 74 0d 0a 63 61 |s a cons|tant..ca|
|00004de0| 6e 20 6e 6f 74 20 62 65 | 20 61 73 73 69 67 6e 65 |n not be| assigne|
|00004df0| 64 20 74 6f 2e 20 49 66 | 20 73 6f 20 64 65 73 69 |d to. If| so desi|
|00004e00| 72 65 64 2c 20 74 68 65 | 20 61 63 63 65 73 73 20 |red, the| access |
|00004e10| 61 74 74 72 69 62 75 74 | 65 20 7b 5c 74 74 20 43 |attribut|e {\tt C|
|00004e20| 4f 4e 53 54 7d 0d 0a 6d | 61 79 20 62 65 20 6c 65 |ONST}..m|ay be le|
|00004e30| 66 74 20 6f 75 74 2c 20 | 62 75 74 20 74 68 69 73 |ft out, |but this|
|00004e40| 20 69 73 20 6e 6f 74 20 | 61 64 76 69 73 65 64 20 | is not |advised |
|00004e50| 73 69 6e 63 65 20 69 74 | 20 6c 65 61 64 73 0d 0a |since it| leads..|
|00004e60| 74 6f 20 64 65 67 72 61 | 64 61 74 69 6f 6e 20 6f |to degra|dation o|
|00004e70| 66 20 73 79 6e 74 61 63 | 74 69 63 20 65 72 72 6f |f syntac|tic erro|
|00004e80| 72 2d 64 65 74 65 63 74 | 69 6f 6e 2e 0d 0a 41 6e |r-detect|ion...An|
|00004e90| 20 7b 5c 65 6d 20 6f 62 | 6a 65 63 74 2d 64 65 63 | {\em ob|ject-dec|
|00004ea0| 6c 61 72 61 74 69 6f 6e | 7d 20 6d 61 79 20 76 65 |laration|} may ve|
|00004eb0| 72 79 20 77 65 6c 6c 20 | 6f 63 63 75 72 20 69 6e |ry well |occur in|
|00004ec0| 20 61 20 7b 5c 65 6d 20 | 72 65 70 65 74 69 74 69 | a {\em |repetiti|
|00004ed0| 6f 6e 7d 2e 20 45 61 63 | 68 0d 0a 74 69 6d 65 20 |on}. Eac|h..time |
|00004ee0| 74 68 65 20 64 65 63 6c | 61 72 61 74 69 6f 6e 20 |the decl|aration |
|00004ef0| 69 73 20 65 78 65 63 75 | 74 65 64 2c 20 69 74 73 |is execu|ted, its|
|00004f00| 20 69 6e 69 74 69 61 6c | 69 7a 61 74 69 6f 6e 20 | initial|ization |
|00004f10| 69 73 20 65 78 65 63 75 | 74 65 64 0d 0a 61 6e 65 |is execu|ted..ane|
|00004f20| 77 2e 0d 0a 0d 0a 5c 73 | 75 62 73 65 63 74 69 6f |w.....\s|ubsectio|
|00004f30| 6e 7b 44 65 63 6c 61 72 | 65 72 73 20 61 6e 64 20 |n{Declar|ers and |
|00004f40| 74 68 65 20 74 79 70 65 | 2d 73 79 73 74 65 6d 7d |the type|-system}|
|00004f50| 0d 0a 0d 0a 45 6c 61 6e | 20 68 61 73 20 61 20 63 |....Elan| has a c|
|00004f60| 6f 6e 73 74 72 75 63 74 | 69 76 65 20 74 79 70 65 |onstruct|ive type|
|00004f70| 20 73 79 73 74 65 6d 20 | 62 61 73 65 64 20 6f 6e | system |based on|
|00004f80| 20 66 6f 75 72 20 63 6f | 6e 63 72 65 74 65 20 65 | four co|ncrete e|
|00004f90| 6c 65 6d 65 6e 74 61 72 | 79 0d 0a 74 79 70 65 73 |lementar|y..types|
|00004fa0| 20 61 6e 64 20 74 77 6f | 20 6d 65 63 68 61 6e 69 | and two| mechani|
|00004fb0| 73 6d 73 20 66 6f 72 20 | 63 6f 6d 70 6f 73 69 6e |sms for |composin|
|00004fc0| 67 20 74 79 70 65 73 2c | 20 61 6e 64 20 67 69 76 |g types,| and giv|
|00004fd0| 65 73 20 74 6f 20 69 74 | 73 0d 0a 75 73 65 72 73 |es to it|s..users|
|00004fe0| 20 74 68 65 20 6f 70 70 | 6f 72 74 75 6e 69 74 79 | the opp|ortunity|
|00004ff0| 20 74 6f 20 61 64 64 20 | 66 75 72 74 68 65 72 20 | to add |further |
|00005000| 28 61 62 73 74 72 61 63 | 74 29 20 74 79 70 65 73 |(abstrac|t) types|
|00005010| 2e 0d 0a 0d 0a 5c 70 69 | 63 28 33 31 35 2c 31 36 |.....\pi|c(315,16|
|00005020| 30 29 7b 5c 73 6d 61 6c | 6c 0d 0a 20 20 5c 70 75 |0){\smal|l.. \pu|
|00005030| 74 28 30 30 30 2c 31 35 | 30 29 7b 5c 75 6e 64 65 |t(000,15|0){\unde|
|00005040| 72 6c 69 6e 65 7b 5c 72 | 6d 20 74 79 70 65 2d 64 |rline{\r|m type-d|
|00005050| 65 63 6c 61 72 65 72 7d | 7d 0d 0a 20 20 25 0d 0a |eclarer}|}.. %..|
|00005060| 20 20 5c 70 75 74 28 30 | 30 35 2c 31 32 30 29 7b | \put(0|05,120){|
|00005070| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 74 5d |\oval(20|,20)[rt]|
|00005080| 7d 0d 0a 20 20 5c 70 75 | 74 28 30 31 35 2c 31 32 |}.. \pu|t(015,12|
|00005090| 30 29 7b 5c 6c 69 6e 65 | 28 30 2c 2d 31 29 7b 31 |0){\line|(0,-1){1|
|000050a0| 30 30 7d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |00}}.. |%.. \pu|
|000050b0| 74 28 30 30 30 2c 31 33 | 30 29 7b 5c 76 65 63 74 |t(000,13|0){\vect|
|000050c0| 6f 72 28 31 2c 30 29 7b | 31 31 30 7d 5c 6e 74 62 |or(1,0){|110}\ntb|
|000050d0| 6f 78 7b 30 36 30 7d 7b | 74 79 70 65 2d 6e 61 6d |ox{060}{|type-nam|
|000050e0| 65 7d 0d 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |e}.. | |
|000050f0| 20 20 20 20 5c 76 65 63 | 74 6f 72 28 31 2c 30 29 | \vec|tor(1,0)|
|00005100| 7b 31 31 30 7d 7d 0d 0a | 20 20 25 0d 0a 20 20 5c |{110}}..| %.. \|
|00005110| 70 75 74 28 30 32 35 2c | 31 32 30 29 7b 5c 6f 76 |put(025,|120){\ov|
|00005120| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 62 5d 7d 0d 0a |al(20,20|)[lb]}..|
|00005130| 20 20 5c 70 75 74 28 30 | 32 35 2c 31 31 30 29 7b | \put(0|25,110){|
|00005140| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 39 35 |\vector(|1,0){095|
|00005150| 7d 5c 74 62 6f 78 7b 30 | 34 30 7d 7b 49 4e 54 7d |}\tbox{0|40}{INT}|
|00005160| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00005170| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 39 35 | \line(|1,0){095|
|00005180| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 35 35 2c 31 |}}.. \p|ut(255,1|
|00005190| 32 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |20){\ova|l(20,20)|
|000051a0| 5b 72 62 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |[rb]}.. | %.. \p|
|000051b0| 75 74 28 30 32 35 2c 31 | 30 30 29 7b 5c 6f 76 61 |ut(025,1|00){\ova|
|000051c0| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|000051d0| 20 5c 70 75 74 28 30 32 | 35 2c 30 39 30 29 7b 5c | \put(02|5,090){\|
|000051e0| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 39 35 7d |vector(1|,0){095}|
|000051f0| 5c 74 62 6f 78 7b 30 34 | 30 7d 7b 52 45 41 4c 7d |\tbox{04|0}{REAL}|
|00005200| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00005210| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 39 35 | \line(|1,0){095|
|00005220| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 35 35 2c 31 |}}.. \p|ut(255,1|
|00005230| 30 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |00){\ova|l(20,20)|
|00005240| 5b 72 62 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |[rb]}.. | %.. \p|
|00005250| 75 74 28 30 32 35 2c 30 | 38 30 29 7b 5c 6f 76 61 |ut(025,0|80){\ova|
|00005260| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|00005270| 20 5c 70 75 74 28 30 32 | 35 2c 30 37 30 29 7b 5c | \put(02|5,070){\|
|00005280| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 39 35 7d |vector(1|,0){095}|
|00005290| 5c 74 62 6f 78 7b 30 34 | 30 7d 7b 42 4f 4f 4c 7d |\tbox{04|0}{BOOL}|
|000052a0| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|000052b0| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 39 35 | \line(|1,0){095|
|000052c0| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 35 35 2c 30 |}}.. \p|ut(255,0|
|000052d0| 38 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |80){\ova|l(20,20)|
|000052e0| 5b 72 62 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |[rb]}.. | %.. \p|
|000052f0| 75 74 28 30 32 35 2c 30 | 36 30 29 7b 5c 6f 76 61 |ut(025,0|60){\ova|
|00005300| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|00005310| 20 5c 70 75 74 28 30 32 | 35 2c 30 35 30 29 7b 5c | \put(02|5,050){\|
|00005320| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 39 35 7d |vector(1|,0){095}|
|00005330| 5c 74 62 6f 78 7b 30 34 | 30 7d 7b 54 45 58 54 7d |\tbox{04|0}{TEXT}|
|00005340| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |.. | |
|00005350| 20 20 5c 6c 69 6e 65 28 | 31 2c 30 29 7b 30 39 35 | \line(|1,0){095|
|00005360| 7d 7d 0d 0a 20 20 5c 70 | 75 74 28 32 35 35 2c 30 |}}.. \p|ut(255,0|
|00005370| 36 30 29 7b 5c 6f 76 61 | 6c 28 32 30 2c 32 30 29 |60){\ova|l(20,20)|
|00005380| 5b 72 62 5d 7d 0d 0a 20 | 20 25 0d 0a 20 20 5c 70 |[rb]}.. | %.. \p|
|00005390| 75 74 28 30 32 35 2c 30 | 34 30 29 7b 5c 6f 76 61 |ut(025,0|40){\ova|
|000053a0| 6c 28 32 30 2c 32 30 29 | 5b 6c 62 5d 7d 0d 0a 20 |l(20,20)|[lb]}.. |
|000053b0| 20 5c 70 75 74 28 30 32 | 35 2c 30 33 30 29 7b 5c | \put(02|5,030){\|
|000053c0| 76 65 63 74 6f 72 28 31 | 2c 30 29 7b 30 30 35 7d |vector(1|,0){005}|
|000053d0| 5c 74 62 6f 78 7b 30 34 | 30 7d 7b 52 4f 57 7d 0d |\tbox{04|0}{ROW}.|
|000053e0| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|000053f0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|00005400| 30 7d 5c 6e 74 62 6f 78 | 7b 30 36 30 7d 7b 63 61 |0}\ntbox|{060}{ca|
|00005410| 72 64 69 6e 61 6c 69 74 | 79 7d 0d 0a 20 20 20 20 |rdinalit|y}.. |
|00005420| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 76 65 63 | | \vec|
|00005430| 74 6f 72 28 31 2c 30 29 | 7b 30 33 30 7d 5c 6e 74 |tor(1,0)|{030}\nt|
|00005440| 62 6f 78 7b 30 36 30 7d | 7b 74 79 70 65 2d 64 65 |box{060}|{type-de|
|00005450| 63 6c 61 72 65 72 7d 0d | 0a 20 20 20 20 20 20 20 |clarer}.|. |
|00005460| 20 20 20 20 20 20 20 20 | 20 5c 6c 69 6e 65 28 31 | | \line(1|
|00005470| 2c 30 29 7b 30 30 35 7d | 7d 0d 0a 20 20 5c 70 75 |,0){005}|}.. \pu|
|00005480| 74 28 32 35 35 2c 30 34 | 30 29 7b 5c 6f 76 61 6c |t(255,04|0){\oval|
|00005490| 28 32 30 2c 32 30 29 5b | 72 62 5d 7d 0d 0a 20 20 |(20,20)[|rb]}.. |
|000054a0| 25 0d 0a 20 20 5c 70 75 | 74 28 30 32 35 2c 30 32 |%.. \pu|t(025,02|
|000054b0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|000054c0| 6c 62 5d 7d 0d 0a 20 20 | 5c 70 75 74 28 30 32 35 |lb]}.. |\put(025|
|000054d0| 2c 30 31 30 29 7b 5c 76 | 65 63 74 6f 72 28 31 2c |,010){\v|ector(1,|
|000054e0| 30 29 7b 30 32 30 7d 5c | 74 62 6f 78 7b 30 34 30 |0){020}\|tbox{040|
|000054f0| 7d 7b 53 54 52 55 43 54 | 7d 0d 0a 20 20 20 20 20 |}{STRUCT|}.. |
|00005500| 20 20 20 20 20 20 20 20 | 20 20 20 5c 76 65 63 74 | | \vect|
|00005510| 6f 72 28 31 2c 30 29 7b | 30 33 30 7d 5c 74 62 6f |or(1,0){|030}\tbo|
|00005520| 78 7b 30 31 30 7d 7b 28 | 7d 0d 0a 20 20 20 20 20 |x{010}{(|}.. |
|00005530| 20 20 20 20 20 20 20 20 | 20 20 20 5c 76 65 63 74 | | \vect|
|00005540| 6f 72 28 31 2c 30 29 7b | 30 33 30 7d 5c 6e 74 62 |or(1,0){|030}\ntb|
|00005550| 6f 78 7b 30 34 30 7d 7b | 66 69 65 6c 64 73 7d 0d |ox{040}{|fields}.|
|00005560| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00005570| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|00005580| 30 7d 5c 74 62 6f 78 7b | 30 31 30 7d 7b 29 7d 0d |0}\tbox{|010}{)}.|
|00005590| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|000055a0| 20 5c 6c 69 6e 65 28 31 | 2c 30 29 7b 30 32 30 7d | \line(1|,0){020}|
|000055b0| 7d 0d 0a 20 20 5c 70 75 | 74 28 32 35 35 2c 30 32 |}.. \pu|t(255,02|
|000055c0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|000055d0| 72 62 5d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |rb]}.. |%.. \pu|
|000055e0| 74 28 32 36 35 2c 30 32 | 30 29 7b 5c 6c 69 6e 65 |t(265,02|0){\line|
|000055f0| 28 30 2c 31 29 7b 31 30 | 30 7d 7d 0d 0a 20 20 5c |(0,1){10|0}}.. \|
|00005600| 70 75 74 28 32 37 35 2c | 31 32 30 29 7b 5c 6f 76 |put(275,|120){\ov|
|00005610| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 74 5d 7d 0d 0a |al(20,20|)[lt]}..|
|00005620| 20 20 25 0d 0a 7d 0d 0a | 0d 0a 5c 73 75 62 73 75 | %..}..|..\subsu|
|00005630| 62 73 65 63 74 69 6f 6e | 7b 52 6f 77 73 7d 0d 0a |bsection|{Rows}..|
|00005640| 0d 0a 5c 70 69 63 28 33 | 31 35 2c 30 36 30 29 7b |..\pic(3|15,060){|
|00005650| 5c 73 6d 61 6c 6c 0d 0a | 20 20 5c 70 75 74 28 30 |\small..| \put(0|
|00005660| 30 30 2c 30 35 30 29 7b | 5c 75 6e 64 65 72 6c 69 |00,050){|\underli|
|00005670| 6e 65 7b 5c 72 6d 20 63 | 61 72 64 69 6e 61 6c 69 |ne{\rm c|ardinali|
|00005680| 74 79 7d 7d 0d 0a 20 20 | 25 0d 0a 20 20 5c 70 75 |ty}}.. |%.. \pu|
|00005690| 74 28 30 30 30 2c 30 33 | 30 29 7b 5c 76 65 63 74 |t(000,03|0){\vect|
|000056a0| 6f 72 28 31 2c 30 29 7b | 30 33 30 7d 5c 6e 74 62 |or(1,0){|030}\ntb|
|000056b0| 6f 78 7b 30 37 30 7d 7b | 6e 75 6d 62 65 72 7d 0d |ox{070}{|number}.|
|000056c0| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|000056d0| 20 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 | \vector|(1,0){03|
|000056e0| 30 7d 7d 0d 0a 20 20 25 | 0d 0a 20 20 5c 70 75 74 |0}}.. %|.. \put|
|000056f0| 28 30 30 35 2c 30 32 30 | 29 7b 5c 6f 76 61 6c 28 |(005,020|){\oval(|
|00005700| 32 30 2c 32 30 29 5b 72 | 74 5d 7d 0d 0a 20 20 5c |20,20)[r|t]}.. \|
|00005710| 70 75 74 28 30 32 35 2c | 30 32 30 29 7b 5c 6f 76 |put(025,|020){\ov|
|00005720| 61 6c 28 32 30 2c 32 30 | 29 5b 6c 62 5d 7d 0d 0a |al(20,20|)[lb]}..|
|00005730| 20 20 5c 70 75 74 28 30 | 32 35 2c 30 31 30 29 7b | \put(0|25,010){|
|00005740| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 30 35 |\vector(|1,0){005|
|00005750| 7d 5c 6e 74 62 6f 78 7b | 30 37 30 7d 7b 73 79 6e |}\ntbox{|070}{syn|
|00005760| 6f 6e 79 6d 2d 6e 61 6d | 65 7d 0d 0a 20 20 20 20 |onym-nam|e}.. |
|00005770| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 6c 69 6e | | \lin|
|00005780| 65 28 31 2c 30 29 7b 30 | 30 35 7d 7d 0d 0a 20 20 |e(1,0){0|05}}.. |
|00005790| 5c 70 75 74 28 31 30 35 | 2c 30 32 30 29 7b 5c 6f |\put(105|,020){\o|
|000057a0| 76 61 6c 28 32 30 2c 32 | 30 29 5b 72 62 5d 7d 0d |val(20,2|0)[rb]}.|
|000057b0| 0a 20 20 5c 70 75 74 28 | 31 32 35 2c 30 32 30 29 |. \put(|125,020)|
|000057c0| 7b 5c 6f 76 61 6c 28 32 | 30 2c 32 30 29 5b 6c 74 |{\oval(2|0,20)[lt|
|000057d0| 5d 7d 0d 0a 20 20 25 0d | 0a 7d 0d 0a 0d 0a 5c 6e |]}.. %.|.}....\n|
|000057e0| 6f 69 6e 64 65 6e 74 0d | 0a 54 68 65 20 65 6c 65 |oindent.|.The ele|
|000057f0| 6d 65 6e 74 73 20 6f 66 | 20 61 20 72 6f 77 20 61 |ments of| a row a|
|00005800| 6c 6c 20 68 61 76 65 20 | 74 68 65 20 73 61 6d 65 |ll have |the same|
|00005810| 20 74 79 70 65 2c 20 61 | 6e 64 20 61 72 65 20 6e | type, a|nd are n|
|00005820| 75 6d 62 65 72 65 64 0d | 0a 66 72 6f 6d 20 31 20 |umbered.|.from 1 |
|00005830| 75 70 20 74 6f 20 74 68 | 65 20 7b 5c 65 6d 20 63 |up to th|e {\em c|
|00005840| 61 72 64 69 6e 61 6c 69 | 74 79 7d 20 6f 66 20 74 |ardinali|ty} of t|
|00005850| 68 65 20 64 65 63 6c 61 | 72 65 72 2c 20 77 68 69 |he decla|rer, whi|
|00005860| 63 68 20 6d 75 73 74 20 | 62 65 20 65 69 74 68 65 |ch must |be eithe|
|00005870| 72 0d 0a 61 20 7b 5c 65 | 6d 20 6e 75 6d 62 65 72 |r..a {\e|m number|
|00005880| 7d 20 6f 72 20 61 20 73 | 79 6e 6f 6e 79 6d 20 66 |} or a s|ynonym f|
|00005890| 6f 72 20 61 20 7b 5c 65 | 6d 20 6e 75 6d 62 65 72 |or a {\e|m number|
|000058a0| 7d 2e 20 54 68 69 73 20 | 7b 5c 65 6d 20 63 61 72 |}. This |{\em car|
|000058b0| 64 69 6e 61 6c 69 74 79 | 7d 0d 0a 69 73 20 74 68 |dinality|}..is th|
|000058c0| 65 72 65 66 6f 72 65 20 | 66 69 78 65 64 2c 20 69 |erefore |fixed, i|
|000058d0| 74 20 63 61 6e 20 6e 6f | 74 20 62 65 20 74 68 65 |t can no|t be the|
|000058e0| 20 72 65 73 75 6c 74 20 | 6f 66 20 61 6e 20 7b 5c | result |of an {\|
|000058f0| 65 6d 20 65 78 70 72 65 | 73 73 69 6f 6e 7d 0d 0a |em expre|ssion}..|
|00005900| 6f 74 68 65 72 20 74 68 | 61 6e 20 61 20 7b 5c 65 |other th|an a {\e|
|00005910| 6d 20 6e 75 6d 62 65 72 | 7d 2e 0d 0a 0d 0a 5c 73 |m number|}.....\s|
|00005920| 75 62 73 75 62 73 65 63 | 74 69 6f 6e 7b 53 74 72 |ubsubsec|tion{Str|
|00005930| 75 63 74 75 72 65 73 7d | 0d 0a 0d 0a 5c 70 69 63 |uctures}|....\pic|
|00005940| 28 33 31 35 2c 30 36 30 | 29 7b 5c 73 6d 61 6c 6c |(315,060|){\small|
|00005950| 0d 0a 20 20 5c 70 75 74 | 28 30 30 30 2c 30 35 30 |.. \put|(000,050|
|00005960| 29 7b 5c 75 6e 64 65 72 | 6c 69 6e 65 7b 5c 72 6d |){\under|line{\rm|
|00005970| 20 66 69 65 6c 64 73 7d | 7d 0d 0a 20 20 25 0d 0a | fields}|}.. %..|
|00005980| 20 20 5c 70 75 74 28 30 | 30 30 2c 30 33 30 29 7b | \put(0|00,030){|
|00005990| 5c 76 65 63 74 6f 72 28 | 31 2c 30 29 7b 30 33 30 |\vector(|1,0){030|
|000059a0| 7d 5c 6e 74 62 6f 78 7b | 30 36 30 7d 7b 74 79 70 |}\ntbox{|060}{typ|
|000059b0| 65 2d 64 65 63 6c 61 72 | 65 72 7d 0d 0a 20 20 20 |e-declar|er}.. |
|000059c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 76 65 | | \ve|
|000059d0| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 5c 6e |ctor(1,0|){030}\n|
|000059e0| 74 62 6f 78 7b 30 36 30 | 7d 7b 66 69 65 6c 64 2d |tbox{060|}{field-|
|000059f0| 6e 61 6d 65 7d 0d 0a 20 | 20 20 20 20 20 20 20 20 |name}.. | |
|00005a00| 20 20 20 20 20 20 20 5c | 76 65 63 74 6f 72 28 31 | \|vector(1|
|00005a10| 2c 30 29 7b 30 33 30 7d | 7d 0d 0a 20 20 25 0d 0a |,0){030}|}.. %..|
|00005a20| 20 20 5c 70 75 74 28 31 | 38 35 2c 30 32 30 29 7b | \put(1|85,020){|
|00005a30| 5c 6f 76 61 6c 28 32 30 | 2c 32 30 29 5b 72 5d 7d |\oval(20|,20)[r]}|
|00005a40| 0d 0a 20 20 5c 70 75 74 | 28 31 38 35 2c 30 31 30 |.. \put|(185,010|
|00005a50| 29 7b 5c 76 65 63 74 6f | 72 28 2d 31 2c 30 29 7b |){\vecto|r(-1,0){|
|00005a60| 30 33 30 7d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 32 |030}}.. | \put(02|
|00005a70| 35 2c 30 31 30 29 7b 5c | 6c 69 6e 65 28 31 2c 30 |5,010){\|line(1,0|
|00005a80| 29 7b 31 32 30 7d 5c 74 | 62 6f 78 7b 31 30 7d 7b |){120}\t|box{10}{|
|00005a90| 2c 7d 7d 0d 0a 20 20 5c | 70 75 74 28 31 31 35 2c |,}}.. \|put(115,|
|00005aa0| 30 32 30 29 7b 5c 6f 76 | 61 6c 28 32 30 2c 32 30 |020){\ov|al(20,20|
|00005ab0| 29 5b 6c 5d 7d 0d 0a 20 | 20 5c 70 75 74 28 30 32 |)[l]}.. | \put(02|
|00005ac0| 35 2c 30 32 30 29 7b 5c | 6f 76 61 6c 28 32 30 2c |5,020){\|oval(20,|
|00005ad0| 32 30 29 5b 6c 5d 7d 0d | 0a 20 20 25 0d 0a 7d 0d |20)[l]}.|. %..}.|
|00005ae0| 0a 0d 0a 5c 6e 6f 69 6e | 64 65 6e 74 0d 0a 54 68 |...\noin|dent..Th|
|00005af0| 65 20 7b 5c 65 6d 20 66 | 69 65 6c 64 73 7d 20 6f |e {\em f|ields} o|
|00005b00| 66 20 61 20 73 74 72 75 | 63 74 75 72 65 20 6d 61 |f a stru|cture ma|
|00005b10| 79 20 68 61 76 65 20 64 | 69 66 66 65 72 65 6e 74 |y have d|ifferent|
|00005b20| 20 74 79 70 65 73 2c 20 | 61 6e 64 20 65 61 63 68 | types, |and each|
|00005b30| 0d 0a 66 69 65 6c 64 20 | 69 73 20 74 61 67 67 65 |..field |is tagge|
|00005b40| 64 20 62 79 20 61 20 28 | 64 69 66 66 65 72 65 6e |d by a (|differen|
|00005b50| 74 29 20 7b 5c 65 6d 20 | 66 69 65 6c 64 2d 6e 61 |t) {\em |field-na|
|00005b60| 6d 65 7d 2e 0d 0a 0d 0a | 5c 73 75 62 73 65 63 74 |me}.....|\subsect|
|00005b70| 69 6f 6e 7b 54 79 70 65 | 2d 64 65 63 6c 61 72 61 |ion{Type|-declara|
|00005b80| 74 69 6f 6e 73 7d 0d 0a | 0d 0a 41 6e 20 61 62 73 |tions}..|..An abs|
|00005b90| 74 72 61 63 74 20 74 79 | 70 65 20 63 61 6e 20 62 |tract ty|pe can b|
|00005ba0| 65 20 69 6e 74 72 6f 64 | 75 63 65 64 20 65 69 74 |e introd|uced eit|
|00005bb0| 68 65 72 20 62 79 20 61 | 20 7b 5c 65 6d 20 73 79 |her by a| {\em sy|
|00005bc0| 6e 6f 6e 79 6d 2d 64 65 | 63 6c 61 72 61 74 69 6f |nonym-de|claratio|
|00005bd0| 6e 7d 2c 0d 0a 69 6e 20 | 77 68 69 63 68 20 63 61 |n},..in |which ca|
|00005be0| 73 65 20 74 68 65 20 7b | 5c 65 6d 20 74 79 70 65 |se the {|\em type|
|00005bf0| 2d 6e 61 6d 65 7d 20 6d | 65 72 65 6c 79 20 73 74 |-name} m|erely st|
|00005c00| 61 6e 64 73 20 66 6f 72 | 20 74 68 65 20 7b 5c 65 |ands for| the {\e|
|00005c10| 6d 20 74 79 70 65 2d 64 | 65 63 6c 61 72 65 72 7d |m type-d|eclarer}|
|00005c20| 0d 0a 69 6e 20 69 74 73 | 20 64 65 66 69 6e 69 74 |..in its| definit|
|00005c30| 69 6f 6e 2c 20 6f 72 20 | 62 79 20 61 20 7b 5c 65 |ion, or |by a {\e|
|00005c40| 6d 20 74 79 70 65 2d 64 | 65 63 6c 61 72 61 74 69 |m type-d|eclarati|
|00005c50| 6f 6e 7d 20 28 73 65 65 | 20 66 6f 6c 6c 6f 77 69 |on} (see| followi|
|00005c60| 6e 67 20 73 65 63 74 69 | 6f 6e 29 2c 0d 0a 69 6e |ng secti|on),..in|
|00005c70| 20 77 68 69 63 68 20 63 | 61 73 65 20 69 74 20 69 | which c|ase it i|
|00005c80| 73 20 74 6f 20 62 65 20 | 64 69 73 74 69 6e 67 75 |s to be |distingu|
|00005c90| 69 73 68 65 64 20 66 72 | 6f 6d 20 74 68 65 20 7b |ished fr|om the {|
|00005ca0| 5c 65 6d 20 74 79 70 65 | 2d 64 65 63 6c 61 72 65 |\em type|-declare|
|00005cb0| 72 7d 0d 0a 69 6e 20 69 | 74 73 20 64 65 66 69 6e |r}..in i|ts defin|
|00005cc0| 69 74 69 6f 6e 2e 20 49 | 6e 20 62 6f 74 68 20 63 |ition. I|n both c|
|00005cd0| 61 73 65 73 20 69 74 20 | 69 73 20 72 65 70 72 65 |ases it |is repre|
|00005ce0| 73 65 6e 74 65 64 20 62 | 79 20 61 20 28 62 6f 6c |sented b|y a (bol|
|00005cf0| 64 29 0d 0a 7b 5c 65 6d | 20 74 79 70 65 2d 6e 61 |d)..{\em| type-na|
|00005d00| 6d 65 7d 2e 0d 0a 0d 0a | 41 20 7b 5c 65 6d 20 74 |me}.....|A {\em t|
|00005d10| 79 70 65 2d 64 65 63 6c | 61 72 61 74 69 6f 6e 7d |ype-decl|aration}|
|00005d20| 20 67 69 76 65 73 20 61 | 20 7b 5c 65 6d 20 74 79 | gives a| {\em ty|
|00005d30| 70 65 2d 6e 61 6d 65 7d | 20 74 6f 20 61 20 7b 5c |pe-name}| to a {\|
|00005d40| 65 6d 20 74 79 70 65 2d | 64 65 63 6c 61 72 65 72 |em type-|declarer|
|00005d50| 7d 2c 0d 0a 69 74 73 20 | 7b 5c 65 6d 20 72 65 61 |},..its |{\em rea|
|00005d60| 6c 69 7a 61 74 69 6f 6e | 7d 2e 20 49 6e 20 74 68 |lization|}. In th|
|00005d70| 65 20 70 61 63 6b 65 74 | 20 69 6e 20 77 68 69 63 |e packet| in whic|
|00005d80| 68 20 74 68 65 20 61 62 | 73 74 72 61 63 74 20 74 |h the ab|stract t|
|00005d90| 79 70 65 20 69 73 0d 0a | 64 65 66 69 6e 65 64 2c |ype is..|defined,|
|00005da0| 20 74 68 65 20 7b 5c 65 | 6d 20 63 6f 6e 63 72 65 | the {\e|m concre|
|00005db0| 74 69 7a 65 72 7d 20 7b | 5c 74 74 20 43 4f 4e 43 |tizer} {|\tt CONC|
|00005dc0| 52 7d 20 6d 61 79 20 62 | 65 20 75 73 65 64 20 74 |R} may b|e used t|
|00005dd0| 6f 20 63 6f 6e 76 65 72 | 74 20 61 6e 0d 0a 6f 62 |o conver|t an..ob|
|00005de0| 6a 65 63 74 20 6f 66 20 | 74 68 61 74 20 74 79 70 |ject of |that typ|
|00005df0| 65 20 74 6f 20 74 68 65 | 20 74 79 70 65 20 6f 66 |e to the| type of|
|00005e00| 20 74 68 65 20 72 65 61 | 6c 69 7a 61 74 69 6f 6e | the rea|lization|
|00005e10| 2e 20 49 6e 20 74 68 61 | 74 20 70 61 63 6b 65 74 |. In tha|t packet|
|00005e20| 2c 0d 0a 7b 5c 65 6d 20 | 73 65 6c 65 63 74 69 6f |,..{\em |selectio|
|00005e30| 6e 7d 20 61 6e 64 20 7b | 5c 65 6d 20 73 75 62 73 |n} and {|\em subs|
|00005e40| 63 72 69 70 74 69 6f 6e | 7d 20 61 6c 73 6f 20 68 |cription|} also h|
|00005e50| 61 76 65 20 61 63 63 65 | 73 73 20 74 6f 20 74 68 |ave acce|ss to th|
|00005e60| 65 20 72 65 61 6c 69 7a | 61 74 69 6f 6e 0d 0a 6f |e realiz|ation..o|
|00005e70| 66 20 61 20 74 79 70 65 | 2e 20 4f 75 74 73 69 64 |f a type|. Outsid|
|00005e80| 65 20 69 74 73 20 64 65 | 66 69 6e 69 6e 67 20 70 |e its de|fining p|
|00005e90| 61 63 6b 65 74 2c 20 61 | 6e 20 61 62 73 74 72 61 |acket, a|n abstra|
|00005ea0| 63 74 20 74 79 70 65 20 | 69 73 20 65 6c 65 6d 65 |ct type |is eleme|
|00005eb0| 6e 74 61 72 79 0d 0a 61 | 6e 64 20 74 68 65 72 65 |ntary..a|nd there|
|00005ec0| 20 69 73 20 6e 6f 20 64 | 69 72 65 63 74 20 77 61 | is no d|irect wa|
|00005ed0| 79 20 74 6f 20 61 63 63 | 65 73 73 20 69 74 73 20 |y to acc|ess its |
|00005ee0| 72 65 61 6c 69 7a 61 74 | 69 6f 6e 20 28 62 75 74 |realizat|ion (but|
|00005ef0| 20 74 68 69 73 0d 0a 6d | 61 79 20 62 65 20 61 63 | this..m|ay be ac|
|00005f00| 68 69 65 76 65 64 20 69 | 6e 64 69 72 65 63 74 6c |hieved i|ndirectl|
|00005f10| 79 2c 20 62 79 20 74 68 | 65 20 75 73 65 20 6f 66 |y, by th|e use of|
|00005f20| 20 61 6c 67 6f 72 69 74 | 68 6d 73 20 64 65 66 69 | algorit|hms defi|
|00005f30| 6e 65 64 0d 0a 69 6e 20 | 74 68 65 20 73 61 6d 65 |ned..in |the same|
|00005f40| 20 70 61 63 6b 65 74 20 | 61 73 20 74 68 65 20 74 | packet |as the t|
|00005f50| 79 70 65 29 2e 0d 0a 42 | 65 63 61 75 73 65 20 6f |ype)...B|ecause o|
|00005f60| 66 20 74 68 65 73 65 20 | 73 74 72 69 6e 67 65 6e |f these |stringen|
|00005f70| 74 20 72 65 73 74 72 69 | 63 74 69 6f 6e 73 20 6f |t restri|ctions o|
|00005f80| 6e 20 74 68 65 20 76 69 | 73 69 62 69 6c 69 74 79 |n the vi|sibility|
|00005f90| 20 6f 66 0d 0a 74 68 65 | 20 72 65 61 6c 69 7a 61 | of..the| realiza|
|00005fa0| 74 69 6f 6e 2c 20 7b 5c | 65 6d 20 74 79 70 65 2d |tion, {\|em type-|
|00005fb0| 64 65 63 6c 61 72 61 74 | 69 6f 6e 73 7d 20 61 72 |declarat|ions} ar|
|00005fc0| 65 20 6d 75 63 68 20 6d | 6f 72 65 20 73 75 69 74 |e much m|ore suit|
|00005fd0| 61 62 6c 65 20 66 6f 72 | 0d 0a 42 6f 74 74 6f 6d |able for|..Bottom|
|00005fe0| 2d 55 70 20 61 6e 64 20 | 6d 6f 64 75 6c 61 72 20 |-Up and |modular |
|00005ff0| 70 72 6f 67 72 61 6d 6d | 69 6e 67 20 74 68 61 6e |programm|ing than|
|00006000| 20 74 68 65 20 7b 5c 65 | 6d 20 73 79 6e 6f 6e 79 | the {\e|m synony|
|00006010| 6d 2d 64 65 63 6c 61 72 | 61 74 69 6f 6e 73 7d 2c |m-declar|ations},|
|00006020| 0d 0a 77 68 69 63 68 20 | 61 72 65 20 69 6e 74 65 |..which |are inte|
|00006030| 6e 64 65 64 20 66 6f 72 | 20 54 6f 70 2d 44 6f 77 |nded for| Top-Dow|
|00006040| 6e 20 70 72 6f 67 72 61 | 6d 6d 69 6e 67 2e 20 0d |n progra|mming. .|
|00006050| 0a 0d 0a 5c 70 69 63 28 | 33 31 35 2c 30 36 30 29 |...\pic(|315,060)|
|00006060| 7b 5c 73 6d 61 6c 6c 0d | 0a 20 20 5c 70 75 74 28 |{\small.|. \put(|
|00006070| 30 30 30 2c 30 35 30 29 | 7b 5c 75 6e 64 65 72 6c |000,050)|{\underl|
|00006080| 69 6e 65 7b 5c 72 6d 20 | 74 79 70 65 2d 64 65 63 |ine{\rm |type-dec|
|00006090| 6c 61 72 61 74 69 6f 6e | 7d 7d 0d 0a 20 20 25 0d |laration|}}.. %.|
|000060a0| 0a 20 20 5c 70 75 74 28 | 30 30 30 2c 30 33 30 29 |. \put(|000,030)|
|000060b0| 7b 5c 76 65 63 74 6f 72 | 28 31 2c 30 29 7b 30 33 |{\vector|(1,0){03|
|000060c0| 30 7d 5c 74 62 6f 78 7b | 30 33 30 7d 7b 54 59 50 |0}\tbox{|030}{TYP|
|000060d0| 45 7d 0d 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |E}.. | |
|000060e0| 20 20 20 20 5c 76 65 63 | 74 6f 72 28 31 2c 30 29 | \vec|tor(1,0)|
|000060f0| 7b 30 33 30 7d 5c 6e 74 | 62 6f 78 7b 30 36 30 7d |{030}\nt|box{060}|
|00006100| 7b 74 79 70 65 2d 6e 61 | 6d 65 7d 0d 0a 20 20 20 |{type-na|me}.. |
|00006110| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 76 65 | | \ve|
|00006120| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 5c 74 |ctor(1,0|){030}\t|
|00006130| 62 6f 78 7b 30 31 30 7d | 7b 3d 7d 0d 0a 20 20 20 |box{010}|{=}.. |
|00006140| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 76 65 | | \ve|
|00006150| 63 74 6f 72 28 31 2c 30 | 29 7b 30 33 30 7d 5c 6e |ctor(1,0|){030}\n|
|00006160| 74 62 6f 78 7b 30 36 30 | 7d 7b 74 79 70 65 2d 64 |tbox{060|}{type-d|
|00006170| 65 63 6c 61 72 65 72 7d | 0d 0a 20 20 20 20 20 20 |eclarer}|.. |
|00006180| 20 20 20 20 20 20 20 20 | 20 20 5c 76 65 63 74 6f | | \vecto|
|00006190| 72 28 31 2c 30 29 7b 30 | 33 30 7d 7d 0d 0a 20 20 |r(1,0){0|30}}.. |
|000061a0| 25 0d 0a 20 20 5c 70 75 | 74 28 32 38 35 2c 30 32 |%.. \pu|t(285,02|
|000061b0| 30 29 7b 5c 6f 76 61 6c | 28 32 30 2c 32 30 29 5b |0){\oval|(20,20)[|
|000061c0| 72 5d 7d 0d 0a 20 20 5c | 70 75 74 28 32 38 35 2c |r]}.. \|put(285,|
|000061d0| 30 31 30 29 7b 5c 76 65 | 63 74 6f 72 28 2d 31 2c |010){\ve|ctor(-1,|
|000061e0| 30 29 7b 30 33 30 7d 7d | 0d 0a 20 20 5c 70 75 74 |0){030}}|.. \put|
|000061f0| 28 30 38 35 2c 30 31 30 | 29 7b 5c 6c 69 6e 65 28 |(085,010|){\line(|
|00006200| 31 2c 30 29 7b 31 36 30 | 7d 5c 74 62 6f 78 7b 31 |1,0){160|}\tbox{1|
|00006210| 30 7d 7b 2c 7d 7d 0d 0a | 20 20 5c 70 75 74 28 30 |0}{,}}..| \put(0|
|00006220| 38 35 2c 30 32 30 29 7b | 5c 6f 76 61 6c 28 32 30 |85,020){|\oval(20|
|00006230| 2c 32 30 29 5b 6c 5d 7d | 0d 0a 20 20 25 0d 0a 7d |,20)[l]}|.. %..}|
|00006240| 0d 0a 0d 0a 5c 73 65 63 | 74 69 6f 6e 7b 45 78 70 |....\sec|tion{Exp|
|00006250| 72 65 73 73 69 6f 6e 73 | 20 61 6e 64 20 74 68 65 |ressions| and the|
|00006260| 69 72 20 63 6f 6e 73 74 | 69 74 75 65 6e 74 73 7d |ir const|ituents}|
|00006270| 0d 0a 0d 0a 7b 5c 65 6d | 20 45 78 70 72 65 73 73 |....{\em| Express|
|00006280| 69 6f 6e 73 7d 20 63 61 | 6e 20 62 65 20 63 6f 6d |ions} ca|n be com|
|00006290| 70 6f 73 65 64 20 62 79 | 20 76 61 72 69 6f 75 73 |posed by| various|
|000062a0| 20 6d 65 63 68 61 6e 69 | 73 6d 73 20 28 7b 5c 65 | mechani|sms ({\e|
|000062b0| 6d 20 63 61 6c 6c 73 7d | 2c 0d 0a 7b 5c 65 6d 20 |m calls}|,..{\em |
|000062c0| 6f 70 65 72 61 74 6f 72 | 73 7d 20 61 6e 64 20 7b |operator|s} and {|
|000062d0| 5c 65 6d 20 63 6f 6e 74 | 72 6f 6c 2d 73 74 72 75 |\em cont|rol-stru|
|000062e0| 63 74 75 72 65 73 7d 29 | 20 6f 75 74 0d 0a 6f 66 |ctures})| out..of|
|000062f0| 20 73 6d 61 6c 6c 65 72 | 20 63 6f 6e 73 74 72 75 | smaller| constru|
|00006300| 63 74 73 20 28 74 68 65 | 20 7b 5c 65 6d 20 70 72 |cts (the| {\em pr|
|00006310| 69 6d 61 72 69 65 73 7d | 29 2e 0d 0a 7b 5c 65 6d |imaries}|)...{\em|
|00006320| 20 45 78 70 72 65 73 73 | 69 6f 6e 73 7d 20 6d 61 | Express|ions} ma|
|00006330| 79 20 65 69 74 68 65 72 | 20 79 69 65 6c 64 20 61 |y either| yield a|
|00006340| 20 76 61 6c 75 65 20 6f | 66 20 73 6f 6d 65 20 74 | value o|f some t|
|00006350| 79 70 65 2c 20 6f 72 20 | 74 68 65 79 20 6d 61 79 |ype, or |they may|
|00006360| 0d 0a 62 65 20 61 63 74 | 69 6f 6e 73 2c 20 77 68 |..be act|ions, wh|
|00006370| 69 63 68 20 79 69 65 6c | 64 20 6e 6f 20 76 61 6c |ich yiel|d no val|
|00006380| 75 65 20 28 61 6e 64 20 | 68 61 76 65 20 61 20 68 |ue (and |have a h|
|00006390| 79 70 6f 74 68 65 74 69 | 63 61 6c 20 74 79 70 65 |ypotheti|cal type|
|000063a0| 0d 0a 7b 5c 74 74 20 56 | 4f 49 44 7d 29 2e 0d 0a |..{\tt V|OID})...|
|000063b0| 0d 0a 5c 70 69 63 28 33 | 31 35 2c 30 38 30 29 7b |..\pic(3|15,080){|
|000063c0| 5c 73 6d 61 6c 6c 0d 0a | 20 20 5c 70 75 74 28 30 |\small..| \put(0|
|000063d0| 30 30 2c 30 37 30 29 7b | 5c 75 6e 64 65 72 6c 69 |00,070){|\underli|
|000063e0| 6e 65 7b 5c 72 6d 20 65 | 78 70 72 65 73 73 69 6f |ne{\rm e|xpressio|
|000063f0| 6e 7d 7d 0d 0a 20 20 25 | 0d 0a 20 20 5c 70 75 74 |n}}.. %|.. \put|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
